Trace number 4246890

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: Concrete 3.4? (TO) 2415.26 2216.64

General information on the benchmark

NameSteiner3/Steiner3-m1-s1/
Steiner3-11.xml
MD5SUM54c76fdae941ec7bb7c4ecbc2f20b5a0
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables54
Number of constraints171
Number of domains1
Minimum domain size11
Maximum domain size11
Distribution of domain sizes[{"size":11,"count":54}]
Minimum variable degree18
Maximum variable degree18
Distribution of variable degrees[{"degree":18,"count":54}]
Minimum constraint arity3
Maximum constraint arity6
Distribution of constraint arities[{"arity":3,"count":18},{"arity":6,"count":153}]
Number of extensional constraints153
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":153},{"type":"ordered","count":18}]
Optimization problemNO
Type of objective

Solver Data 

3.53/2.07	c Concrete v3.4 running

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-4246890-1500720179/watcher-4246890-1500720179 -o /tmp/evaluation-result-4246890-1500720179/solver-4246890-1500720179 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500717875-23066 --watchdog 2560 bin/concrete HOME/instance-4246890-1500720179.xml 

pid=23517
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.11 1.36 1.49 3/262 23520
/proc/meminfo: memFree=29229488/32770624 swapFree=5776/299704
[pid=23520] ppid=23517 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/23520/stat : 23520 (bash) S 23517 23520 23034 0 -1 4202496 687 1531 0 0 0 0 0 0 20 0 1 0 7283283 9736192 350 33554432000 4194304 5098028 140726976402144 140726976399784 140166873517056 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 40493056 140726976410894 140726976410979 140726976410979 140726976413678 0
/proc/23520/statm: 2377 350 277 221 0 86 0

[startup+0.100215 s]
/proc/loadavg: 1.11 1.36 1.49 3/262 23520
/proc/meminfo: memFree=29229488/32770624 swapFree=5776/299704
[pid=23520] ppid=23517 vsize=9640 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/stat : 23520 (bash) S 23517 23520 23034 0 -1 4202496 925 11767 0 0 0 0 6 3 20 0 1 0 7283283 9871360 381 33554432000 4194304 5098028 140726976402144 140726976397976 140166873517056 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 0 0 0 7196144 7232144 40493056 140726976410894 140726976410979 140726976410979 140726976413678 0
/proc/23520/statm: 2410 381 299 221 0 119 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9640

[startup+0.200304 s]
/proc/loadavg: 1.11 1.36 1.49 3/262 23520
/proc/meminfo: memFree=29229488/32770624 swapFree=5776/299704
[pid=23520] ppid=23517 vsize=10901872 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/23520/stat : 23520 (java) S 23517 23520 23034 0 -1 1077944320 5906 12443 0 0 9 1 6 3 20 0 20 0 7283283 11163516928 6636 33554432000 4194304 4196468 140721458122048 140721458104592 140167533145847 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
/proc/23520/statm: 2725468 6636 2703 1 0 2713890 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10901872

[startup+0.300284 s]
/proc/loadavg: 1.11 1.36 1.49 3/262 23520
/proc/meminfo: memFree=29229488/32770624 swapFree=5776/299704
[pid=23520] ppid=23517 vsize=10902392 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/23520/stat : 23520 (java) S 23517 23520 23034 0 -1 1077944320 9578 12443 0 0 24 2 6 3 20 0 20 0 7283283 11164049408 10570 33554432000 4194304 4196468 140721458122048 140721458104592 140167533145847 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
/proc/23520/statm: 2725598 10570 2936 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902392

[startup+0.700314 s]
/proc/loadavg: 1.11 1.36 1.49 3/262 23520
/proc/meminfo: memFree=29229488/32770624 swapFree=5776/299704
[pid=23520] ppid=23517 vsize=10902720 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/23520/stat : 23520 (java) S 23517 23520 23034 0 -1 1077944320 13111 12443 0 0 88 4 6 3 20 0 20 0 7283283 11164385280 16432 33554432000 4194304 4196468 140721458122048 140721458104592 140167533145847 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
/proc/23520/statm: 2725680 16432 3232 1 0 2713890 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 10902720

[startup+1.50083 s]
/proc/loadavg: 1.11 1.36 1.49 3/282 23593
/proc/meminfo: memFree=29120444/32770624 swapFree=5776/299708
[pid=23520] ppid=23517 vsize=10915392 CPUtime=2.31 cores=1,3,5,7,9,11,13,15
/proc/23520/stat : 23520 (java) S 23517 23520 23034 0 -1 1077944320 27615 12443 0 0 210 12 6 3 20 0 20 0 7283283 11177361408 44290 33554432000 4194304 4196468 140721458122048 140721458104592 140167533145847 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
/proc/23520/statm: 2728848 44290 3410 1 0 2716962 0
[pid=23520/tid=23575] ppid=23517 vsize=10915392 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23575/stat : 23575 (java) R 23517 23520 23034 0 -1 4202560 19309 12443 0 0 128 6 6 3 20 0 20 0 7283293 11177361408 44290 33554432000 4194304 4196468 140721458122048 140167537371056 140167147036560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23576] ppid=23517 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23576/stat : 23576 (java) S 23517 23520 23034 0 -1 1077944384 132 12443 0 0 0 0 6 3 20 0 20 0 7283294 11177361408 44290 33554432000 4194304 4196468 140721458122048 140167469837456 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23577] ppid=23517 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23577/stat : 23577 (java) S 23517 23520 23034 0 -1 1077944384 20 12443 0 0 0 0 6 3 20 0 20 0 7283294 11177361408 44290 33554432000 4194304 4196468 140721458122048 140167468784656 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23578] ppid=23517 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23578/stat : 23578 (java) S 23517 23520 23034 0 -1 1077944384 15 12443 0 0 0 0 6 3 20 0 20 0 7283294 11177361408 44290 33554432000 4194304 4196468 140721458122048 140167467731856 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23579] ppid=23517 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23579/stat : 23579 (java) S 23517 23520 23034 0 -1 1077944384 54 12443 0 0 1 0 6 3 20 0 20 0 7283294 11177361408 44290 33554432000 4194304 4196468 140721458122048 140167136275216 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23580] ppid=23517 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23580/stat : 23580 (java) S 23517 23520 23034 0 -1 1077944384 12 12443 0 0 0 0 6 3 20 0 20 0 7283294 11177361408 44290 33554432000 4194304 4196468 140721458122048 140167135222416 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23581] ppid=23517 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23581/stat : 23581 (java) S 23517 23520 23034 0 -1 1077944384 35 12443 0 0 0 0 6 3 20 0 20 0 7283294 11177361408 44290 33554432000 4194304 4196468 140721458122048 140167134169616 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23582] ppid=23517 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23582/stat : 23582 (java) S 23517 23520 23034 0 -1 1077944384 37 12443 0 0 0 0 6 3 20 0 20 0 7283294 11177361408 44290 33554432000 4194304 4196468 140721458122048 140167133116816 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23583] ppid=23517 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23583/stat : 23583 (java) S 23517 23520 23034 0 -1 1077944384 19 12443 0 0 1 0 6 3 20 0 20 0 7283294 11177361408 44290 33554432000 4194304 4196468 140721458122048 140167132064016 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23584] ppid=23517 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23584/stat : 23584 (java) S 23517 23520 23034 0 -1 1077944384 1448 12443 0 0 1 0 6 3 20 0 20 0 7283296 11177361408 44290 33554432000 4194304 4196468 140721458122048 140166873574256 140167533156994 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23585] ppid=23517 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23585/stat : 23585 (java) S 23517 23520 23034 0 -1 1077944384 54 12443 0 0 0 0 6 3 20 0 20 0 7283297 11177361408 44290 33554432000 4194304 4196468 140721458122048 140166872520224 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23586] ppid=23517 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23586/stat : 23586 (java) S 23517 23520 23034 0 -1 1077944384 44 12443 0 0 0 0 6 3 20 0 20 0 7283297 11177361408 44290 33554432000 4194304 4196468 140721458122048 140166871467376 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23587] ppid=23517 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23587/stat : 23587 (java) S 23517 23520 23034 0 -1 1077944384 1 12443 0 0 0 0 6 3 20 0 20 0 7283301 11177361408 44290 33554432000 4194304 4196468 140721458122048 140166870415696 140167533164443 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23588] ppid=23517 vsize=10915392 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23588/stat : 23588 (java) S 23517 23520 23034 0 -1 1077944384 932 12443 0 0 14 0 6 3 20 0 20 0 7283301 11177361408 44290 33554432000 4194304 4196468 140721458122048 140166869363056 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23589] ppid=23517 vsize=10915392 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23589/stat : 23589 (java) S 23517 23520 23034 0 -1 1077944384 1204 12443 0 0 16 0 6 3 20 0 20 0 7283301 11177361408 44290 33554432000 4194304 4196468 140721458122048 140166868310256 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23590] ppid=23517 vsize=10915392 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23590/stat : 23590 (java) S 23517 23520 23034 0 -1 1077944384 671 12443 0 0 11 0 6 3 20 0 20 0 7283301 11177361408 44290 33554432000 4194304 4196468 140721458122048 140166867257456 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23591] ppid=23517 vsize=10915392 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23591/stat : 23591 (java) R 23517 23520 23034 0 -1 4202560 1487 12443 0 0 30 0 6 3 20 0 20 0 7283301 11177361408 44290 33554432000 4194304 4196468 140721458122048 140166866204656 140167533157782 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23592] ppid=23517 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23592/stat : 23592 (java) S 23517 23520 23034 0 -1 1077944384 3 12443 0 0 0 0 6 3 20 0 20 0 7283301 11177361408 44290 33554432000 4194304 4196468 140721458122048 140166865153120 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23593] ppid=23517 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23593/stat : 23593 (java) S 23517 23520 23034 0 -1 1077944384 3 12443 0 0 0 0 6 3 20 0 20 0 7283301 11177361408 44290 33554432000 4194304 4196468 140721458122048 140166864100400 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 10915392

[startup+3.10083 s]
/proc/loadavg: 1.27 1.38 1.50 6/282 23593
/proc/meminfo: memFree=29047200/32770624 swapFree=5776/299692
[pid=23520] ppid=23517 vsize=10923772 CPUtime=6.74 cores=1,3,5,7,9,11,13,15
/proc/23520/stat : 23520 (java) S 23517 23520 23034 0 -1 1077944320 41839 12443 0 0 601 64 6 3 20 0 20 0 7283283 11185942528 123368 33554432000 4194304 4196468 140721458122048 140721458104592 140167533145847 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
/proc/23520/statm: 2730943 123368 3492 1 0 2718498 0
[pid=23520/tid=23575] ppid=23517 vsize=10923772 CPUtime=2.89 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23575/stat : 23575 (java) R 23517 23520 23034 0 -1 4202560 23995 12443 0 0 271 9 6 3 20 0 20 0 7283293 11185942528 123368 33554432000 4194304 4196468 140721458122048 140167537379648 140167154290477 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23576] ppid=23517 vsize=10923772 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23576/stat : 23576 (java) S 23517 23520 23034 0 -1 1077944384 273 12443 0 0 6 7 6 3 20 0 20 0 7283294 11185942528 123368 33554432000 4194304 4196468 140721458122048 140167469837456 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23577] ppid=23517 vsize=10923772 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23577/stat : 23577 (java) S 23517 23520 23034 0 -1 1077944384 152 12443 0 0 6 6 6 3 20 0 20 0 7283294 11185942528 123368 33554432000 4194304 4196468 140721458122048 140167468784656 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23578] ppid=23517 vsize=10923772 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23578/stat : 23578 (java) S 23517 23520 23034 0 -1 1077944384 108 12443 0 0 5 5 6 3 20 0 20 0 7283294 11185942528 123368 33554432000 4194304 4196468 140721458122048 140167467731856 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23579] ppid=23517 vsize=10923772 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23579/stat : 23579 (java) S 23517 23520 23034 0 -1 1077944384 181 12443 0 0 5 6 6 3 20 0 20 0 7283294 11185942528 123368 33554432000 4194304 4196468 140721458122048 140167136275216 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23580] ppid=23517 vsize=10923772 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23580/stat : 23580 (java) S 23517 23520 23034 0 -1 1077944384 301 12443 0 0 7 5 6 3 20 0 20 0 7283294 11185942528 123368 33554432000 4194304 4196468 140721458122048 140167135222416 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23581] ppid=23517 vsize=10923772 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23581/stat : 23581 (java) S 23517 23520 23034 0 -1 1077944384 187 12443 0 0 6 7 6 3 20 0 20 0 7283294 11185942528 123368 33554432000 4194304 4196468 140721458122048 140167134169616 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23582] ppid=23517 vsize=10923772 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23582/stat : 23582 (java) S 23517 23520 23034 0 -1 1077944384 282 12443 0 0 6 6 6 3 20 0 20 0 7283294 11185942528 123368 33554432000 4194304 4196468 140721458122048 140167133116816 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23583] ppid=23517 vsize=10923772 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23583/stat : 23583 (java) S 23517 23520 23034 0 -1 1077944384 157 12443 0 0 5 4 6 3 20 0 20 0 7283294 11185942528 123368 33554432000 4194304 4196468 140721458122048 140167132064016 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23584] ppid=23517 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23584/stat : 23584 (java) S 23517 23520 23034 0 -1 1077944384 1707 12443 0 0 2 0 6 3 20 0 20 0 7283296 11185942528 123368 33554432000 4194304 4196468 140721458122048 140166873574256 140167533156994 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23585] ppid=23517 vsize=10923772 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23585/stat : 23585 (java) S 23517 23520 23034 0 -1 1077944384 57 12443 0 0 0 0 6 3 20 0 20 0 7283297 11185942528 123368 33554432000 4194304 4196468 140721458122048 140166872520288 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23586] ppid=23517 vsize=10923772 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23586/stat : 23586 (java) S 23517 23520 23034 0 -1 1077944384 47 12443 0 0 0 0 6 3 20 0 20 0 7283297 11185942528 123368 33554432000 4194304 4196468 140721458122048 140166871467392 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23587] ppid=23517 vsize=10923772 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23587/stat : 23587 (java) S 23517 23520 23034 0 -1 1077944384 1 12443 0 0 0 0 6 3 20 0 20 0 7283301 11185942528 123368 33554432000 4194304 4196468 140721458122048 140166870415696 140167533164443 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23588] ppid=23517 vsize=10923772 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23588/stat : 23588 (java) S 23517 23520 23034 0 -1 1077944384 2189 12443 0 0 61 0 6 3 20 0 20 0 7283301 11185942528 123368 33554432000 4194304 4196468 140721458122048 140166869363056 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23589] ppid=23517 vsize=10923772 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23589/stat : 23589 (java) S 23517 23520 23034 0 -1 1077944384 5021 12443 0 0 86 1 6 3 20 0 20 0 7283301 11185942528 123368 33554432000 4194304 4196468 140721458122048 140166868310256 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23590] ppid=23517 vsize=10923772 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23590/stat : 23590 (java) S 23517 23520 23034 0 -1 1077944384 1925 12443 0 0 51 1 6 3 20 0 20 0 7283301 11185942528 123368 33554432000 4194304 4196468 140721458122048 140166867257456 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23591] ppid=23517 vsize=10923772 CPUtime=0.87 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23591/stat : 23591 (java) S 23517 23520 23034 0 -1 1077944384 3113 12443 0 0 78 0 6 3 20 0 20 0 7283301 11185942528 123368 33554432000 4194304 4196468 140721458122048 140166866204656 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23592] ppid=23517 vsize=10923772 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23592/stat : 23592 (java) S 23517 23520 23034 0 -1 1077944384 3 12443 0 0 0 0 6 3 20 0 20 0 7283301 11185942528 123368 33554432000 4194304 4196468 140721458122048 140166865153120 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23593] ppid=23517 vsize=10923772 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23593/stat : 23593 (java) S 23517 23520 23034 0 -1 1077944384 5 12443 0 0 0 0 6 3 20 0 20 0 7283301 11185942528 123368 33554432000 4194304 4196468 140721458122048 140166864100400 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 10923772

[startup+6.30081 s]
/proc/loadavg: 1.27 1.38 1.50 3/282 23593
/proc/meminfo: memFree=28611416/32770624 swapFree=5776/299676
[pid=23520] ppid=23517 vsize=10923772 CPUtime=10.26 cores=1,3,5,7,9,11,13,15
/proc/23520/stat : 23520 (java) S 23517 23520 23034 0 -1 1077944320 43781 12443 0 0 934 83 6 3 20 0 20 0 7283283 11185942528 157573 33554432000 4194304 4196468 140721458122048 140721458104592 140167533145847 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
/proc/23520/statm: 2730943 157573 3492 1 0 2718498 0
[pid=23520/tid=23575] ppid=23517 vsize=10923772 CPUtime=6.06 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23575/stat : 23575 (java) R 23517 23520 23034 0 -1 4202560 25494 12443 0 0 585 12 6 3 20 0 20 0 7283293 11185942528 157573 33554432000 4194304 4196468 140721458122048 140167537379344 140167518220702 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23576] ppid=23517 vsize=10923772 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23576/stat : 23576 (java) S 23517 23520 23034 0 -1 1077944384 297 12443 0 0 7 9 6 3 20 0 20 0 7283294 11185942528 157573 33554432000 4194304 4196468 140721458122048 140167469837456 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23577] ppid=23517 vsize=10923772 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23577/stat : 23577 (java) S 23517 23520 23034 0 -1 1077944384 174 12443 0 0 7 8 6 3 20 0 20 0 7283294 11185942528 157573 33554432000 4194304 4196468 140721458122048 140167468784656 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23578] ppid=23517 vsize=10923772 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23578/stat : 23578 (java) S 23517 23520 23034 0 -1 1077944384 129 12443 0 0 7 7 6 3 20 0 20 0 7283294 11185942528 157573 33554432000 4194304 4196468 140721458122048 140167467731856 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23579] ppid=23517 vsize=10923772 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23579/stat : 23579 (java) S 23517 23520 23034 0 -1 1077944384 203 12443 0 0 7 8 6 3 20 0 20 0 7283294 11185942528 157573 33554432000 4194304 4196468 140721458122048 140167136275216 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23580] ppid=23517 vsize=10923772 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23580/stat : 23580 (java) S 23517 23520 23034 0 -1 1077944384 323 12443 0 0 8 7 6 3 20 0 20 0 7283294 11185942528 157573 33554432000 4194304 4196468 140721458122048 140167135222416 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23581] ppid=23517 vsize=10923772 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23581/stat : 23581 (java) S 23517 23520 23034 0 -1 1077944384 209 12443 0 0 7 9 6 3 20 0 20 0 7283294 11185942528 157573 33554432000 4194304 4196468 140721458122048 140167134169616 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23582] ppid=23517 vsize=10923772 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23582/stat : 23582 (java) S 23517 23520 23034 0 -1 1077944384 303 12443 0 0 7 8 6 3 20 0 20 0 7283294 11185942528 157573 33554432000 4194304 4196468 140721458122048 140167133116816 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23583] ppid=23517 vsize=10923772 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23583/stat : 23583 (java) S 23517 23520 23034 0 -1 1077944384 177 12443 0 0 6 6 6 3 20 0 20 0 7283294 11185942528 157573 33554432000 4194304 4196468 140721458122048 140167132064016 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23584] ppid=23517 vsize=10923772 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23584/stat : 23584 (java) S 23517 23520 23034 0 -1 1077944384 1708 12443 0 0 2 0 6 3 20 0 20 0 7283296 11185942528 157573 33554432000 4194304 4196468 140721458122048 140166873574256 140167533156994 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23585] ppid=23517 vsize=10923772 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23585/stat : 23585 (java) S 23517 23520 23034 0 -1 1077944384 57 12443 0 0 0 0 6 3 20 0 20 0 7283297 11185942528 157573 33554432000 4194304 4196468 140721458122048 140166872520288 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23586] ppid=23517 vsize=10923772 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23586/stat : 23586 (java) S 23517 23520 23034 0 -1 1077944384 47 12443 0 0 0 0 6 3 20 0 20 0 7283297 11185942528 157573 33554432000 4194304 4196468 140721458122048 140166871467392 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23587] ppid=23517 vsize=10923772 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23587/stat : 23587 (java) S 23517 23520 23034 0 -1 1077944384 1 12443 0 0 0 0 6 3 20 0 20 0 7283301 11185942528 157573 33554432000 4194304 4196468 140721458122048 140166870415696 140167533164443 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23588] ppid=23517 vsize=10923772 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23588/stat : 23588 (java) S 23517 23520 23034 0 -1 1077944384 2195 12443 0 0 64 0 6 3 20 0 20 0 7283301 11185942528 157573 33554432000 4194304 4196468 140721458122048 140166869363056 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23589] ppid=23517 vsize=10923772 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23589/stat : 23589 (java) S 23517 23520 23034 0 -1 1077944384 5027 12443 0 0 89 1 6 3 20 0 20 0 7283301 11185942528 157573 33554432000 4194304 4196468 140721458122048 140166868310256 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23590] ppid=23517 vsize=10923772 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23590/stat : 23590 (java) S 23517 23520 23034 0 -1 1077944384 1932 12443 0 0 53 1 6 3 20 0 20 0 7283301 11185942528 157573 33554432000 4194304 4196468 140721458122048 140166867257456 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23591] ppid=23517 vsize=10923772 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23591/stat : 23591 (java) S 23517 23520 23034 0 -1 1077944384 3212 12443 0 0 79 0 6 3 20 0 20 0 7283301 11185942528 157573 33554432000 4194304 4196468 140721458122048 140166866204656 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23592] ppid=23517 vsize=10923772 CPUtime=0.09 cores=1,3,5,7,9,11,13,15

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


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

Sending SIGKILL to process tree (bottom up)

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

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

[startup+2216 s]
/proc/loadavg: 1.14 1.39 1.49 10/283 24117
/proc/meminfo: memFree=26680040/32770624 swapFree=5776/302264
[pid=23520] ppid=23517 vsize=11130628 CPUtime=2410.57 cores=1,3,5,7,9,11,13,15
/proc/23520/stat : 23520 (java) S 23517 23520 23034 0 -1 1077944320 499490 12443 0 0 240157 891 6 3 20 0 22 0 7283283 11397763072 948866 33554432000 4194304 4196468 140721458122048 140721458104592 140167533145847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
/proc/23520/statm: 2782657 948866 3514 1 0 2770212 0
[pid=23520/tid=23575] ppid=23517 vsize=11130628 CPUtime=2186.06 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23575/stat : 23575 (java) S 23517 23520 23034 0 -1 1077944384 194174 12443 0 0 218536 61 6 3 20 0 22 0 7283293 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167537383632 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23576] ppid=23517 vsize=11130628 CPUtime=26.11 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23576/stat : 23576 (java) R 23517 23520 23034 0 -1 4202560 19713 12443 0 0 2507 95 6 3 20 0 22 0 7283294 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167469837656 140167518142225 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23577] ppid=23517 vsize=11130628 CPUtime=26.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23577/stat : 23577 (java) R 23517 23520 23034 0 -1 4202560 20171 12443 0 0 2509 91 6 3 20 0 22 0 7283294 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167468784856 140167518142248 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23578] ppid=23517 vsize=11130628 CPUtime=25.7 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23578/stat : 23578 (java) R 23517 23520 23034 0 -1 4202560 20451 12443 0 0 2472 89 6 3 20 0 22 0 7283294 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167467732056 140167518142465 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23579] ppid=23517 vsize=11130628 CPUtime=25.91 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23579/stat : 23579 (java) R 23517 23520 23034 0 -1 4202560 20226 12443 0 0 2488 94 6 3 20 0 22 0 7283294 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167136275416 140167518142340 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23580] ppid=23517 vsize=11130628 CPUtime=26.02 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23580/stat : 23580 (java) R 23517 23520 23034 0 -1 4202560 20232 12443 0 0 2498 95 6 3 20 0 22 0 7283294 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167135222616 140167518142193 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23581] ppid=23517 vsize=11130628 CPUtime=26 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23581/stat : 23581 (java) R 23517 23520 23034 0 -1 4202560 22805 12443 0 0 2494 97 6 3 20 0 22 0 7283294 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167134169816 140167518142461 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23582] ppid=23517 vsize=11130628 CPUtime=26.01 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23582/stat : 23582 (java) R 23517 23520 23034 0 -1 4202560 23735 12443 0 0 2499 93 6 3 20 0 22 0 7283294 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167133116704 140167514755566 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23583] ppid=23517 vsize=11130628 CPUtime=26.03 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23583/stat : 23583 (java) R 23517 23520 23034 0 -1 4202560 21185 12443 0 0 2505 89 6 3 20 0 22 0 7283294 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167132064216 140167514755676 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23584] ppid=23517 vsize=11130628 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23584/stat : 23584 (java) S 23517 23520 23034 0 -1 1077944384 80731 12443 0 0 119 14 6 3 20 0 22 0 7283296 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166873572880 140167533156053 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23585] ppid=23517 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23585/stat : 23585 (java) S 23517 23520 23034 0 -1 1077944384 66 12443 0 0 0 0 6 3 20 0 22 0 7283297 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166872519952 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23586] ppid=23517 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23586/stat : 23586 (java) S 23517 23520 23034 0 -1 1077944384 62 12443 0 0 0 0 6 3 20 0 22 0 7283297 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166871467392 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23587] ppid=23517 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23587/stat : 23587 (java) S 23517 23520 23034 0 -1 1077944384 255 12443 0 0 0 0 6 3 20 0 22 0 7283301 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166870415696 140167533164443 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23588] ppid=23517 vsize=11130628 CPUtime=4.62 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23588/stat : 23588 (java) S 23517 23520 23034 0 -1 1077944384 13772 12443 0 0 450 3 6 3 20 0 22 0 7283301 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166869363056 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23589] ppid=23517 vsize=11130628 CPUtime=4.88 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23589/stat : 23589 (java) S 23517 23520 23034 0 -1 1077944384 16342 12443 0 0 476 3 6 3 20 0 22 0 7283301 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166868310256 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23590] ppid=23517 vsize=11130628 CPUtime=3.43 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23590/stat : 23590 (java) S 23517 23520 23034 0 -1 1077944384 7468 12443 0 0 331 3 6 3 20 0 22 0 7283301 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166867257456 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23591] ppid=23517 vsize=11130628 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23591/stat : 23591 (java) S 23517 23520 23034 0 -1 1077944384 14163 12443 0 0 191 4 6 3 20 0 22 0 7283301 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166866204224 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23592] ppid=23517 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23592/stat : 23592 (java) S 23517 23520 23034 0 -1 1077944384 3 12443 0 0 0 0 6 3 20 0 22 0 7283301 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166865153120 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23593] ppid=23517 vsize=11130628 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23593/stat : 23593 (java) S 23517 23520 23034 0 -1 1077944384 1442 12443 0 0 58 66 6 3 20 0 22 0 7283301 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166864100400 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=24116] ppid=23517 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/24116/stat : 24116 (java) S 23517 23520 23034 0 -1 1077944384 329 12443 0 0 0 0 6 3 20 0 22 0 7504743 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166765113968 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=24117] ppid=23517 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/24117/stat : 24117 (java) S 23517 23520 23034 0 -1 1077944384 29 12443 0 0 0 0 6 3 20 0 22 0 7504743 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166764061888 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
Current children cumulated CPU time (s) 2410.57
Current children cumulated vsize (KiB) 11130628

[startup+2216.4 s]
/proc/loadavg: 1.14 1.39 1.49 10/283 24117
/proc/meminfo: memFree=26680040/32770624 swapFree=5776/302264
[pid=23520] ppid=23517 vsize=11130628 CPUtime=2413.6 cores=1,3,5,7,9,11,13,15
/proc/23520/stat : 23520 (java) S 23517 23520 23034 0 -1 1077944320 499520 12443 0 0 240460 891 6 3 20 0 22 0 7283283 11397763072 948866 33554432000 4194304 4196468 140721458122048 140721458104592 140167533145847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
/proc/23520/statm: 2782657 948866 3514 1 0 2770212 0
[pid=23520/tid=23575] ppid=23517 vsize=11130628 CPUtime=2186.06 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23575/stat : 23575 (java) S 23517 23520 23034 0 -1 1077944384 194174 12443 0 0 218536 61 6 3 20 0 22 0 7283293 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167537383632 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23576] ppid=23517 vsize=11130628 CPUtime=26.49 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23576/stat : 23576 (java) R 23517 23520 23034 0 -1 4202560 19713 12443 0 0 2545 95 6 3 20 0 22 0 7283294 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167469837656 140167514741723 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23577] ppid=23517 vsize=11130628 CPUtime=26.46 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23577/stat : 23577 (java) R 23517 23520 23034 0 -1 4202560 20171 12443 0 0 2546 91 6 3 20 0 22 0 7283294 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167468784544 140167514742389 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23578] ppid=23517 vsize=11130628 CPUtime=26.08 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23578/stat : 23578 (java) R 23517 23520 23034 0 -1 4202560 20455 12443 0 0 2510 89 6 3 20 0 22 0 7283294 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167467732056 140167514742273 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23579] ppid=23517 vsize=11130628 CPUtime=26.29 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23579/stat : 23579 (java) R 23517 23520 23034 0 -1 4202560 20234 12443 0 0 2526 94 6 3 20 0 22 0 7283294 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167136275416 140167518131143 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23580] ppid=23517 vsize=11130628 CPUtime=26.4 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23580/stat : 23580 (java) R 23517 23520 23034 0 -1 4202560 20241 12443 0 0 2536 95 6 3 20 0 22 0 7283294 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167135222616 140167514742858 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23581] ppid=23517 vsize=11130628 CPUtime=26.37 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23581/stat : 23581 (java) R 23517 23520 23034 0 -1 4202560 22805 12443 0 0 2531 97 6 3 20 0 22 0 7283294 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167134169816 140167517843589 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23582] ppid=23517 vsize=11130628 CPUtime=26.39 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23582/stat : 23582 (java) R 23517 23520 23034 0 -1 4202560 23736 12443 0 0 2537 93 6 3 20 0 22 0 7283294 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167133117016 140167514742288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23583] ppid=23517 vsize=11130628 CPUtime=26.4 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23583/stat : 23583 (java) R 23517 23520 23034 0 -1 4202560 21185 12443 0 0 2542 89 6 3 20 0 22 0 7283294 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167132064216 140167517600604 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23584] ppid=23517 vsize=11130628 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23584/stat : 23584 (java) S 23517 23520 23034 0 -1 1077944384 80731 12443 0 0 121 14 6 3 20 0 22 0 7283296 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166873572656 140167533156053 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23585] ppid=23517 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23585/stat : 23585 (java) S 23517 23520 23034 0 -1 1077944384 66 12443 0 0 0 0 6 3 20 0 22 0 7283297 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166872520256 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23586] ppid=23517 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23586/stat : 23586 (java) S 23517 23520 23034 0 -1 1077944384 62 12443 0 0 0 0 6 3 20 0 22 0 7283297 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166871467392 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23587] ppid=23517 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23587/stat : 23587 (java) S 23517 23520 23034 0 -1 1077944384 255 12443 0 0 0 0 6 3 20 0 22 0 7283301 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166870415696 140167533164443 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23588] ppid=23517 vsize=11130628 CPUtime=4.62 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23588/stat : 23588 (java) S 23517 23520 23034 0 -1 1077944384 13772 12443 0 0 450 3 6 3 20 0 22 0 7283301 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166869363056 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23589] ppid=23517 vsize=11130628 CPUtime=4.88 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23589/stat : 23589 (java) S 23517 23520 23034 0 -1 1077944384 16342 12443 0 0 476 3 6 3 20 0 22 0 7283301 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166868310256 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23590] ppid=23517 vsize=11130628 CPUtime=3.43 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23590/stat : 23590 (java) S 23517 23520 23034 0 -1 1077944384 7468 12443 0 0 331 3 6 3 20 0 22 0 7283301 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166867257456 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23591] ppid=23517 vsize=11130628 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23591/stat : 23591 (java) S 23517 23520 23034 0 -1 1077944384 14169 12443 0 0 191 4 6 3 20 0 22 0 7283301 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166866204224 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23592] ppid=23517 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23592/stat : 23592 (java) S 23517 23520 23034 0 -1 1077944384 3 12443 0 0 0 0 6 3 20 0 22 0 7283301 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166865153120 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23593] ppid=23517 vsize=11130628 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23593/stat : 23593 (java) S 23517 23520 23034 0 -1 1077944384 1442 12443 0 0 58 66 6 3 20 0 22 0 7283301 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166864100400 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=24116] ppid=23517 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/24116/stat : 24116 (java) S 23517 23520 23034 0 -1 1077944384 329 12443 0 0 0 0 6 3 20 0 22 0 7504743 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166765113968 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=24117] ppid=23517 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/24117/stat : 24117 (java) S 23517 23520 23034 0 -1 1077944384 31 12443 0 0 0 0 6 3 20 0 22 0 7504743 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166764061888 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
Current children cumulated CPU time (s) 2413.6
Current children cumulated vsize (KiB) 11130628

[startup+2216.61 s]
/proc/loadavg: 1.14 1.39 1.49 10/283 24117
/proc/meminfo: memFree=26680024/32770624 swapFree=5776/302264
[pid=23520] ppid=23517 vsize=11130628 CPUtime=2415.17 cores=1,3,5,7,9,11,13,15
/proc/23520/stat : 23520 (java) S 23517 23520 23034 0 -1 1077944320 499520 12443 0 0 240617 891 6 3 20 0 22 0 7283283 11397763072 948866 33554432000 4194304 4196468 140721458122048 140721458104592 140167533145847 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
/proc/23520/statm: 2782657 948866 3514 1 0 2770212 0
[pid=23520/tid=23575] ppid=23517 vsize=11130628 CPUtime=2186.06 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23575/stat : 23575 (java) S 23517 23520 23034 0 -1 1077944384 194174 12443 0 0 218536 61 6 3 20 0 22 0 7283293 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167537383632 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23576] ppid=23517 vsize=11130628 CPUtime=26.69 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23576/stat : 23576 (java) R 23517 23520 23034 0 -1 4202560 19713 12443 0 0 2565 95 6 3 20 0 22 0 7283294 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167469837656 140167518142251 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23577] ppid=23517 vsize=11130628 CPUtime=26.66 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23577/stat : 23577 (java) R 23517 23520 23034 0 -1 4202560 20171 12443 0 0 2566 91 6 3 20 0 22 0 7283294 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167468784856 140167518142428 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23578] ppid=23517 vsize=11130628 CPUtime=26.26 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23578/stat : 23578 (java) R 23517 23520 23034 0 -1 4202560 20455 12443 0 0 2528 89 6 3 20 0 22 0 7283294 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167467732056 140167518142481 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23579] ppid=23517 vsize=11130628 CPUtime=26.49 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23579/stat : 23579 (java) R 23517 23520 23034 0 -1 4202560 20234 12443 0 0 2546 94 6 3 20 0 22 0 7283294 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167136275416 140167517844685 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23580] ppid=23517 vsize=11130628 CPUtime=26.59 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23580/stat : 23580 (java) R 23517 23520 23034 0 -1 4202560 20241 12443 0 0 2555 95 6 3 20 0 22 0 7283294 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167135222304 140167514755635 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23581] ppid=23517 vsize=11130628 CPUtime=26.57 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23581/stat : 23581 (java) R 23517 23520 23034 0 -1 4202560 22805 12443 0 0 2551 97 6 3 20 0 22 0 7283294 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167134169816 140167514755456 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23582] ppid=23517 vsize=11130628 CPUtime=26.58 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23582/stat : 23582 (java) R 23517 23520 23034 0 -1 4202560 23736 12443 0 0 2556 93 6 3 20 0 22 0 7283294 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167133117016 140167514755618 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23583] ppid=23517 vsize=11130628 CPUtime=26.6 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23583/stat : 23583 (java) R 23517 23520 23034 0 -1 4202560 21185 12443 0 0 2562 89 6 3 20 0 22 0 7283294 11397763072 948866 33554432000 4194304 4196468 140721458122048 140167132064216 140167518142251 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23584] ppid=23517 vsize=11130628 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23584/stat : 23584 (java) S 23517 23520 23034 0 -1 1077944384 80731 12443 0 0 123 14 6 3 20 0 22 0 7283296 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166873572880 140167533156053 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23585] ppid=23517 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23585/stat : 23585 (java) S 23517 23520 23034 0 -1 1077944384 66 12443 0 0 0 0 6 3 20 0 22 0 7283297 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166872520256 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23586] ppid=23517 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23586/stat : 23586 (java) S 23517 23520 23034 0 -1 1077944384 62 12443 0 0 0 0 6 3 20 0 22 0 7283297 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166871467392 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23587] ppid=23517 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23587/stat : 23587 (java) S 23517 23520 23034 0 -1 1077944384 255 12443 0 0 0 0 6 3 20 0 22 0 7283301 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166870415696 140167533164443 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23588] ppid=23517 vsize=11130628 CPUtime=4.62 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23588/stat : 23588 (java) S 23517 23520 23034 0 -1 1077944384 13772 12443 0 0 450 3 6 3 20 0 22 0 7283301 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166869363056 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23589] ppid=23517 vsize=11130628 CPUtime=4.88 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23589/stat : 23589 (java) S 23517 23520 23034 0 -1 1077944384 16342 12443 0 0 476 3 6 3 20 0 22 0 7283301 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166868310256 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23590] ppid=23517 vsize=11130628 CPUtime=3.43 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23590/stat : 23590 (java) S 23517 23520 23034 0 -1 1077944384 7468 12443 0 0 331 3 6 3 20 0 22 0 7283301 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166867257456 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23591] ppid=23517 vsize=11130628 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23591/stat : 23591 (java) S 23517 23520 23034 0 -1 1077944384 14169 12443 0 0 191 4 6 3 20 0 22 0 7283301 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166866204224 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23592] ppid=23517 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23592/stat : 23592 (java) S 23517 23520 23034 0 -1 1077944384 3 12443 0 0 0 0 6 3 20 0 22 0 7283301 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166865153120 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=23593] ppid=23517 vsize=11130628 CPUtime=1.33 cores=1,3,5,7,9,11,13,15
/proc/23520/task/23593/stat : 23593 (java) S 23517 23520 23034 0 -1 1077944384 1442 12443 0 0 58 66 6 3 20 0 22 0 7283301 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166864100400 140167533156994 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=24116] ppid=23517 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/24116/stat : 24116 (java) S 23517 23520 23034 0 -1 1077944384 329 12443 0 0 0 0 6 3 20 0 22 0 7504743 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166765113968 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
[pid=23520/tid=24117] ppid=23517 vsize=11130628 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/23520/task/24117/stat : 24117 (java) S 23517 23520 23034 0 -1 1077944384 31 12443 0 0 0 0 6 3 20 0 22 0 7504743 11397763072 948866 33554432000 4194304 4196468 140721458122048 140166764061888 140167533156053 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19509248 140721458129601 140721458132375 140721458132375 140721458134991 0
Current children cumulated CPU time (s) 2415.17
Current children cumulated vsize (KiB) 11130628

Child ended because it received signal 9 (SIGKILL)
Real time (s): 2216.64
CPU time (s): 2415.26
CPU user time (s): 2406.28
CPU system time (s): 8.97543
CPU usage (%): 108.96
Max. virtual memory (cumulated for all children) (KiB): 11130628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2406.28
system time used= 8.97543
maximum resident set size= 3797708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 511966
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 88147
involuntary context switches= 131032

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.1148 second user time and 19.4063 second system time

The end

Launcher Data 

Begin job on node146 at 2017-07-22 12:42:59
IDJOB=4246890
IDBENCH=126262
IDSOLVER=2630
FILE ID=node146/4246890-1500720179
RUNJOBID= node146-1500717875-23066
PBS_JOBID= 20623365
Free space on /tmp= 61756 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Steiner3/Steiner3-m1-s1/Steiner3-11.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246890-1500720179/watcher-4246890-1500720179 -o /tmp/evaluation-result-4246890-1500720179/solver-4246890-1500720179 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500717875-23066 --watchdog 2560  bin/concrete HOME/instance-4246890-1500720179.xml

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

MD5SUM BENCH= 54c76fdae941ec7bb7c4ecbc2f20b5a0
RANDOM SEED=1891684508

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

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

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.96
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		: 2267.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.96
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		: 1733.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.96
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		: 2000.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:        29230016 kB
MemAvailable:   29548664 kB
Buffers:          143600 kB
Cached:           454704 kB
SwapCached:            0 kB
Active:          2789512 kB
Inactive:         308812 kB
Active(anon):    2502664 kB
Inactive(anon):     8836 kB
Active(file):     286848 kB
Inactive(file):   299976 kB
Unevictable:        5776 kB
Mlocked:            5808 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             35836 kB
Writeback:             0 kB
AnonPages:       2505804 kB
Mapped:            44412 kB
Shmem:              8852 kB
Slab:             128380 kB
SReclaimable:      95316 kB
SUnreclaim:        33064 kB
KernelStack:        4496 kB
PageTables:        11064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3063896 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2412544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61732 MiB
End job on node146 at 2017-07-22 13:19:56