Trace number 4246567

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.4UNSAT 273.575 166.023

General information on the benchmark

NameQRandom/QRandom-bdd-18-21-2/
bdd-18-21-2-133-78-06.xml
MD5SUMc11db23a97f48af6ae936ba62121dffc
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark13.1703
Satisfiable
(Un)Satisfiability was proved
Number of variables21
Number of constraints133
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":21}]
Minimum variable degree106
Maximum variable degree123
Distribution of variable degrees[{"degree":106,"count":1},{"degree":107,"count":1},{"degree":108,"count":1},{"degree":111,"count":2},{"degree":112,"count":4},{"degree":113,"count":2},{"degree":114,"count":1},{"degree":116,"count":1},{"degree":117,"count":4},{"degree":118,"count":2},{"degree":120,"count":1},{"degree":123,"count":1}]
Minimum constraint arity18
Maximum constraint arity18
Distribution of constraint arities[{"arity":18,"count":133}]
Number of extensional constraints133
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":133}]
Optimization problemNO
Type of objective

Solver Data 

3.56/2.19	c Concrete v3.4 running
272.85/165.99	s UNSATISFIABLE

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4246567-1500715993/watcher-4246567-1500715993 -o /tmp/evaluation-result-4246567-1500715993/solver-4246567-1500715993 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500696853-12413 --watchdog 2560 bin/concrete HOME/instance-4246567-1500715993.xml 

pid=19431
running on 8 cores: 0,2,4,6,8,10,12,14

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.42 2.08 1.89 3/261 19434
/proc/meminfo: memFree=30549696/32770624 swapFree=5720/291860
[pid=19434] ppid=19431 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19434/stat : 19434 (bash) S 19431 19434 16473 0 -1 4202496 687 1537 0 0 0 0 0 0 20 0 1 0 6868464 9736192 351 33554432000 4194304 5098028 140726029089440 140726029087080 140624522873856 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 26382336 140726029092110 140726029092195 140726029092195 140726029094894 0
/proc/19434/statm: 2377 351 278 221 0 86 0

[startup+0.100122 s]
/proc/loadavg: 2.42 2.08 1.89 3/261 19434
/proc/meminfo: memFree=30549696/32770624 swapFree=5720/291860
[pid=19434] ppid=19431 vsize=9640 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/19434/stat : 19434 (bash) S 19431 19434 16473 0 -1 4202496 879 6431 0 0 0 0 0 2 20 0 1 0 6868464 9871360 378 33554432000 4194304 5098028 140726029089440 140726029083448 140624522873856 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 26382336 140726029092110 140726029092195 140726029092195 140726029094894 0
/proc/19434/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9640

[startup+0.200329 s]
/proc/loadavg: 2.42 2.08 1.89 3/261 19434
/proc/meminfo: memFree=30549696/32770624 swapFree=5720/291860
[pid=19434] ppid=19431 vsize=10435860 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/19434/stat : 19434 (java) S 19431 19434 16473 0 -1 1077944320 5071 12671 0 0 5 2 8 4 20 0 13 0 6868464 10686320640 5437 33554432000 4194304 4196468 140737447516144 140737447498688 140434469981943 0 0 0 16800971 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
/proc/19434/statm: 2608965 5437 2171 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860

[startup+0.300293 s]
/proc/loadavg: 2.42 2.08 1.89 3/261 19434
/proc/meminfo: memFree=30549696/32770624 swapFree=5720/291860
[pid=19434] ppid=19431 vsize=10902392 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/19434/stat : 19434 (java) S 19431 19434 16473 0 -1 1077944320 7031 12671 0 0 23 3 8 4 20 0 20 0 6868464 11164049408 8854 33554432000 4194304 4196468 140737447516144 140737447498688 140434469981943 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
/proc/19434/statm: 2725598 8854 2995 1 0 2713890 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 10902392

[startup+0.700227 s]
/proc/loadavg: 2.42 2.08 1.89 3/261 19434
/proc/meminfo: memFree=30549696/32770624 swapFree=5720/291860
[pid=19434] ppid=19431 vsize=10902720 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/19434/stat : 19434 (java) S 19431 19434 16473 0 -1 1077944320 12015 12671 0 0 73 5 8 4 20 0 20 0 6868464 11164385280 14859 33554432000 4194304 4196468 140737447516144 140737447498688 140434469981943 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
/proc/19434/statm: 2725680 14859 3145 1 0 2713890 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 10902720

[startup+1.50105 s]
/proc/loadavg: 2.42 2.08 1.89 4/281 19507
/proc/meminfo: memFree=30451036/32770624 swapFree=5720/292276
[pid=19434] ppid=19431 vsize=10913344 CPUtime=2.25 cores=0,2,4,6,8,10,12,14
/proc/19434/stat : 19434 (java) S 19431 19434 16473 0 -1 1077944320 26860 12671 0 0 199 14 8 4 20 0 20 0 6868464 11175264256 44071 33554432000 4194304 4196468 140737447516144 140737447498688 140434469981943 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
/proc/19434/statm: 2728336 44071 3395 1 0 2716450 0
[pid=19434/tid=19489] ppid=19431 vsize=10913344 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19489/stat : 19489 (java) R 19431 19434 16473 0 -1 4202560 19198 12671 0 0 125 6 8 4 20 0 20 0 6868476 11175264256 44071 33554432000 4194304 4196468 140737447516144 140434474204336 140434454062430 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19490] ppid=19431 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19490/stat : 19490 (java) S 19431 19434 16473 0 -1 1077944384 54 12671 0 0 0 0 8 4 20 0 20 0 6868477 11175264256 44071 33554432000 4194304 4196468 140737447516144 140434426534800 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19491] ppid=19431 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19491/stat : 19491 (java) S 19431 19434 16473 0 -1 1077944384 18 12671 0 0 0 0 8 4 20 0 20 0 6868477 11175264256 44071 33554432000 4194304 4196468 140737447516144 140434075474704 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19492] ppid=19431 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19492/stat : 19492 (java) S 19431 19434 16473 0 -1 1077944384 32 12671 0 0 0 0 8 4 20 0 20 0 6868477 11175264256 44071 33554432000 4194304 4196468 140737447516144 140434074422416 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19493] ppid=19431 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19493/stat : 19493 (java) S 19431 19434 16473 0 -1 1077944384 19 12671 0 0 0 0 8 4 20 0 20 0 6868477 11175264256 44071 33554432000 4194304 4196468 140737447516144 140434073369616 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19494] ppid=19431 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19494/stat : 19494 (java) S 19431 19434 16473 0 -1 1077944384 25 12671 0 0 0 0 8 4 20 0 20 0 6868477 11175264256 44071 33554432000 4194304 4196468 140737447516144 140434072316304 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19495] ppid=19431 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19495/stat : 19495 (java) S 19431 19434 16473 0 -1 1077944384 132 12671 0 0 1 0 8 4 20 0 20 0 6868477 11175264256 44071 33554432000 4194304 4196468 140737447516144 140434071263504 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19496] ppid=19431 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19496/stat : 19496 (java) S 19431 19434 16473 0 -1 1077944384 16 12671 0 0 0 0 8 4 20 0 20 0 6868477 11175264256 44071 33554432000 4194304 4196468 140737447516144 140434070211216 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19497] ppid=19431 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19497/stat : 19497 (java) S 19431 19434 16473 0 -1 1077944384 15 12671 0 0 0 0 8 4 20 0 20 0 6868477 11175264256 44071 33554432000 4194304 4196468 140737447516144 140434069158416 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19498] ppid=19431 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19498/stat : 19498 (java) S 19431 19434 16473 0 -1 1077944384 1478 12671 0 0 1 0 8 4 20 0 20 0 6868479 11175264256 44071 33554432000 4194304 4196468 140737447516144 140433944431216 140434469993090 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19499] ppid=19431 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19499/stat : 19499 (java) S 19431 19434 16473 0 -1 1077944384 55 12671 0 0 0 0 8 4 20 0 20 0 6868480 11175264256 44071 33554432000 4194304 4196468 140737447516144 140433943377184 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19500] ppid=19431 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19500/stat : 19500 (java) R 19431 19434 16473 0 -1 4202560 44 12671 0 0 0 0 8 4 20 0 20 0 6868481 11175264256 44071 33554432000 4194304 4196468 140737447516144 140433942324848 140434469993878 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19501] ppid=19431 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19501/stat : 19501 (java) S 19431 19434 16473 0 -1 1077944384 1 12671 0 0 0 0 8 4 20 0 20 0 6868484 11175264256 44071 33554432000 4194304 4196468 140737447516144 140433941273168 140434470000539 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19502] ppid=19431 vsize=10913344 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19502/stat : 19502 (java) S 19431 19434 16473 0 -1 1077944384 868 12671 0 0 12 0 8 4 20 0 20 0 6868484 11175264256 44071 33554432000 4194304 4196468 140737447516144 140433940220016 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19503] ppid=19431 vsize=10913344 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19503/stat : 19503 (java) S 19431 19434 16473 0 -1 1077944384 1251 12671 0 0 13 0 8 4 20 0 20 0 6868484 11175264256 44071 33554432000 4194304 4196468 140737447516144 140433939167216 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19504] ppid=19431 vsize=10913344 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19504/stat : 19504 (java) S 19431 19434 16473 0 -1 1077944384 466 12671 0 0 10 0 8 4 20 0 20 0 6868484 11175264256 44071 33554432000 4194304 4196468 140737447516144 140433938114928 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19505] ppid=19431 vsize=10913344 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19505/stat : 19505 (java) R 19431 19434 16473 0 -1 4202560 1062 12671 0 0 27 0 8 4 20 0 20 0 6868485 11175264256 44071 33554432000 4194304 4196468 140737447516144 140433937059384 140434463081643 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19506] ppid=19431 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19506/stat : 19506 (java) S 19431 19434 16473 0 -1 1077944384 3 12671 0 0 0 0 8 4 20 0 20 0 6868485 11175264256 44071 33554432000 4194304 4196468 140737447516144 140433936010080 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19507] ppid=19431 vsize=10913344 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19507/stat : 19507 (java) S 19431 19434 16473 0 -1 1077944384 3 12671 0 0 0 0 8 4 20 0 20 0 6868485 11175264256 44071 33554432000 4194304 4196468 140737447516144 140433934957360 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 10913344

[startup+3.10095 s]
/proc/loadavg: 2.42 2.08 1.89 4/281 19507
/proc/meminfo: memFree=30387800/32770624 swapFree=5720/292276
[pid=19434] ppid=19431 vsize=10923772 CPUtime=5.66 cores=0,2,4,6,8,10,12,14
/proc/19434/stat : 19434 (java) S 19431 19434 16473 0 -1 1077944320 37749 12671 0 0 530 24 8 4 20 0 20 0 6868464 11185942528 74317 33554432000 4194304 4196468 140737447516144 140737447498688 140434469981943 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
/proc/19434/statm: 2730943 74317 3484 1 0 2718498 0
[pid=19434/tid=19489] ppid=19431 vsize=10923772 CPUtime=3.01 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19489/stat : 19489 (java) R 19431 19434 16473 0 -1 4202560 24087 12671 0 0 280 9 8 4 20 0 20 0 6868476 11185942528 74317 33554432000 4194304 4196468 140737447516144 140434474217000 140434452444822 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19490] ppid=19431 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19490/stat : 19490 (java) S 19431 19434 16473 0 -1 1077944384 61 12671 0 0 1 0 8 4 20 0 20 0 6868477 11185942528 74317 33554432000 4194304 4196468 140737447516144 140434426534800 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19491] ppid=19431 vsize=10923772 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19491/stat : 19491 (java) S 19431 19434 16473 0 -1 1077944384 27 12671 0 0 1 1 8 4 20 0 20 0 6868477 11185942528 74317 33554432000 4194304 4196468 140737447516144 140434075474704 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19492] ppid=19431 vsize=10923772 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19492/stat : 19492 (java) S 19431 19434 16473 0 -1 1077944384 41 12671 0 0 1 1 8 4 20 0 20 0 6868477 11185942528 74317 33554432000 4194304 4196468 140737447516144 140434074422416 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19493] ppid=19431 vsize=10923772 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19493/stat : 19493 (java) S 19431 19434 16473 0 -1 1077944384 27 12671 0 0 1 1 8 4 20 0 20 0 6868477 11185942528 74317 33554432000 4194304 4196468 140737447516144 140434073369616 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19494] ppid=19431 vsize=10923772 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19494/stat : 19494 (java) S 19431 19434 16473 0 -1 1077944384 36 12671 0 0 1 1 8 4 20 0 20 0 6868477 11185942528 74317 33554432000 4194304 4196468 140737447516144 140434072316304 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19495] ppid=19431 vsize=10923772 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19495/stat : 19495 (java) S 19431 19434 16473 0 -1 1077944384 149 12671 0 0 2 0 8 4 20 0 20 0 6868477 11185942528 74317 33554432000 4194304 4196468 140737447516144 140434071263504 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19496] ppid=19431 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19496/stat : 19496 (java) S 19431 19434 16473 0 -1 1077944384 134 12671 0 0 1 0 8 4 20 0 20 0 6868477 11185942528 74317 33554432000 4194304 4196468 140737447516144 140434070211216 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19497] ppid=19431 vsize=10923772 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19497/stat : 19497 (java) S 19431 19434 16473 0 -1 1077944384 97 12671 0 0 1 1 8 4 20 0 20 0 6868477 11185942528 74317 33554432000 4194304 4196468 140737447516144 140434069158416 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19498] ppid=19431 vsize=10923772 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19498/stat : 19498 (java) S 19431 19434 16473 0 -1 1077944384 1804 12671 0 0 2 0 8 4 20 0 20 0 6868479 11185942528 74317 33554432000 4194304 4196468 140737447516144 140433944431216 140434469993090 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19499] ppid=19431 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19499/stat : 19499 (java) S 19431 19434 16473 0 -1 1077944384 58 12671 0 0 0 0 8 4 20 0 20 0 6868480 11185942528 74317 33554432000 4194304 4196468 140737447516144 140433943377248 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19500] ppid=19431 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19500/stat : 19500 (java) S 19431 19434 16473 0 -1 1077944384 46 12671 0 0 0 0 8 4 20 0 20 0 6868481 11185942528 74317 33554432000 4194304 4196468 140737447516144 140433942324864 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19501] ppid=19431 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19501/stat : 19501 (java) S 19431 19434 16473 0 -1 1077944384 1 12671 0 0 0 0 8 4 20 0 20 0 6868484 11185942528 74317 33554432000 4194304 4196468 140737447516144 140433941273168 140434470000539 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19502] ppid=19431 vsize=10923772 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19502/stat : 19502 (java) S 19431 19434 16473 0 -1 1077944384 1860 12671 0 0 47 1 8 4 20 0 20 0 6868484 11185942528 74317 33554432000 4194304 4196468 140737447516144 140433940220016 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19503] ppid=19431 vsize=10923772 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19503/stat : 19503 (java) S 19431 19434 16473 0 -1 1077944384 2553 12671 0 0 50 1 8 4 20 0 20 0 6868484 11185942528 74317 33554432000 4194304 4196468 140737447516144 140433939167216 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19504] ppid=19431 vsize=10923772 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19504/stat : 19504 (java) S 19431 19434 16473 0 -1 1077944384 1583 12671 0 0 55 1 8 4 20 0 20 0 6868484 11185942528 74317 33554432000 4194304 4196468 140737447516144 140433938114928 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19505] ppid=19431 vsize=10923772 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19505/stat : 19505 (java) S 19431 19434 16473 0 -1 1077944384 3049 12671 0 0 79 1 8 4 20 0 20 0 6868485 11185942528 74317 33554432000 4194304 4196468 140737447516144 140433937062128 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19506] ppid=19431 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19506/stat : 19506 (java) S 19431 19434 16473 0 -1 1077944384 3 12671 0 0 0 0 8 4 20 0 20 0 6868485 11185942528 74317 33554432000 4194304 4196468 140737447516144 140433936010080 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19507] ppid=19431 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19507/stat : 19507 (java) S 19431 19434 16473 0 -1 1077944384 5 12671 0 0 0 0 8 4 20 0 20 0 6868485 11185942528 74317 33554432000 4194304 4196468 140737447516144 140433934957360 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 10923772

[startup+6.3011 s]
/proc/loadavg: 2.31 2.06 1.89 6/281 19507
/proc/meminfo: memFree=30186540/32770624 swapFree=5720/292276
[pid=19434] ppid=19431 vsize=10927868 CPUtime=14.83 cores=0,2,4,6,8,10,12,14
/proc/19434/stat : 19434 (java) S 19431 19434 16473 0 -1 1077944320 52706 12671 0 0 1411 60 8 4 20 0 20 0 6868464 11190136832 131080 33554432000 4194304 4196468 140737447516144 140737447498688 140434469981943 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
/proc/19434/statm: 2731967 131080 3496 1 0 2719522 0
[pid=19434/tid=19489] ppid=19431 vsize=10927868 CPUtime=6.1 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19489/stat : 19489 (java) R 19431 19434 16473 0 -1 4202560 34630 12671 0 0 586 12 8 4 20 0 20 0 6868476 11190136832 131080 33554432000 4194304 4196468 140737447516144 140434474213864 140434116789280 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19490] ppid=19431 vsize=10927868 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19490/stat : 19490 (java) S 19431 19434 16473 0 -1 1077944384 105 12671 0 0 5 4 8 4 20 0 20 0 6868477 11190136832 131080 33554432000 4194304 4196468 140737447516144 140434426534800 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19491] ppid=19431 vsize=10927868 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19491/stat : 19491 (java) S 19431 19434 16473 0 -1 1077944384 69 12671 0 0 7 4 8 4 20 0 20 0 6868477 11190136832 131080 33554432000 4194304 4196468 140737447516144 140434075474704 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19492] ppid=19431 vsize=10927868 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19492/stat : 19492 (java) S 19431 19434 16473 0 -1 1077944384 81 12671 0 0 5 5 8 4 20 0 20 0 6868477 11190136832 131080 33554432000 4194304 4196468 140737447516144 140434074422416 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19493] ppid=19431 vsize=10927868 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19493/stat : 19493 (java) S 19431 19434 16473 0 -1 1077944384 69 12671 0 0 5 4 8 4 20 0 20 0 6868477 11190136832 131080 33554432000 4194304 4196468 140737447516144 140434073369616 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19494] ppid=19431 vsize=10927868 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19494/stat : 19494 (java) S 19431 19434 16473 0 -1 1077944384 69 12671 0 0 5 4 8 4 20 0 20 0 6868477 11190136832 131080 33554432000 4194304 4196468 140737447516144 140434072316304 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19495] ppid=19431 vsize=10927868 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19495/stat : 19495 (java) S 19431 19434 16473 0 -1 1077944384 194 12671 0 0 5 4 8 4 20 0 20 0 6868477 11190136832 131080 33554432000 4194304 4196468 140737447516144 140434071263504 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19496] ppid=19431 vsize=10927868 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19496/stat : 19496 (java) S 19431 19434 16473 0 -1 1077944384 170 12671 0 0 6 4 8 4 20 0 20 0 6868477 11190136832 131080 33554432000 4194304 4196468 140737447516144 140434070211216 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19497] ppid=19431 vsize=10927868 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19497/stat : 19497 (java) S 19431 19434 16473 0 -1 1077944384 139 12671 0 0 5 5 8 4 20 0 20 0 6868477 11190136832 131080 33554432000 4194304 4196468 140737447516144 140434069158416 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19498] ppid=19431 vsize=10927868 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19498/stat : 19498 (java) S 19431 19434 16473 0 -1 1077944384 1986 12671 0 0 3 0 8 4 20 0 20 0 6868479 11190136832 131080 33554432000 4194304 4196468 140737447516144 140433944431216 140434469993090 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19499] ppid=19431 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19499/stat : 19499 (java) S 19431 19434 16473 0 -1 1077944384 58 12671 0 0 0 0 8 4 20 0 20 0 6868480 11190136832 131080 33554432000 4194304 4196468 140737447516144 140433943377248 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19500] ppid=19431 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19500/stat : 19500 (java) S 19431 19434 16473 0 -1 1077944384 46 12671 0 0 0 0 8 4 20 0 20 0 6868481 11190136832 131080 33554432000 4194304 4196468 140737447516144 140433942324864 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19501] ppid=19431 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19501/stat : 19501 (java) S 19431 19434 16473 0 -1 1077944384 1 12671 0 0 0 0 8 4 20 0 20 0 6868484 11190136832 131080 33554432000 4194304 4196468 140737447516144 140433941273168 140434470000539 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19502] ppid=19431 vsize=10927868 CPUtime=2.33 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19502/stat : 19502 (java) S 19431 19434 16473 0 -1 1077944384 3321 12671 0 0 220 1 8 4 20 0 20 0 6868484 11190136832 131080 33554432000 4194304 4196468 140737447516144 140433940220016 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19503] ppid=19431 vsize=10927868 CPUtime=2.3 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19503/stat : 19503 (java) S 19431 19434 16473 0 -1 1077944384 3175 12671 0 0 217 1 8 4 20 0 20 0 6868484 11190136832 131080 33554432000 4194304 4196468 140737447516144 140433939167216 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19504] ppid=19431 vsize=10927868 CPUtime=2.36 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19504/stat : 19504 (java) S 19431 19434 16473 0 -1 1077944384 2567 12671 0 0 223 1 8 4 20 0 20 0 6868484 11190136832 131080 33554432000 4194304 4196468 140737447516144 140433938114928 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19505] ppid=19431 vsize=10927868 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19505/stat : 19505 (java) S 19431 19434 16473 0 -1 1077944384 3887 12671 0 0 110 1 8 4 20 0 20 0 6868485 11190136832 131080 33554432000 4194304 4196468 140737447516144 140433937062128 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19506] ppid=19431 vsize=10927868 CPUtime=0.12 cores=0,2,4,6,8,10,12,14

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

[pid=19434/tid=19505] ppid=19431 vsize=10929916 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19505/stat : 19505 (java) S 19431 19434 16473 0 -1 1077944384 11323 12671 0 0 164 3 8 4 20 0 20 0 6868485 11192233984 873149 33554432000 4194304 4196468 140737447516144 140433937056736 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 1 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19506] ppid=19431 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19506/stat : 19506 (java) S 19431 19434 16473 0 -1 1077944384 3 12671 0 0 0 0 8 4 20 0 20 0 6868485 11192233984 873149 33554432000 4194304 4196468 140737447516144 140433936010080 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19507] ppid=19431 vsize=10929916 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19507/stat : 19507 (java) S 19431 19434 16473 0 -1 1077944384 185 12671 0 0 5 4 8 4 20 0 20 0 6868485 11192233984 873149 33554432000 4194304 4196468 140737447516144 140433934957360 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
Current children cumulated CPU time (s) 244.95
Current children cumulated vsize (KiB) 10929916

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

[startup+163.201 s]
/proc/loadavg: 1.62 1.95 1.87 10/281 19509
/proc/meminfo: memFree=27505608/32770624 swapFree=5720/292428
[pid=19434] ppid=19431 vsize=10929916 CPUtime=251.97 cores=0,2,4,6,8,10,12,14
/proc/19434/stat : 19434 (java) S 19431 19434 16473 0 -1 1077944320 165116 12671 0 0 24596 589 8 4 20 0 20 0 6868464 11192233984 884054 33554432000 4194304 4196468 140737447516144 140737447498688 140434469981943 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
/proc/19434/statm: 2732479 884054 3511 1 0 2720034 0
[pid=19434/tid=19489] ppid=19431 vsize=10929916 CPUtime=152.1 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19489/stat : 19489 (java) S 19431 19434 16473 0 -1 1077944384 70126 12671 0 0 15154 44 8 4 20 0 20 0 6868476 11192233984 884054 33554432000 4194304 4196468 140737447516144 140434474219728 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19490] ppid=19431 vsize=10929916 CPUtime=10.82 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19490/stat : 19490 (java) R 19431 19434 16473 0 -1 4202560 3327 12671 0 0 1005 65 8 4 20 0 20 0 6868477 11192233984 884054 33554432000 4194304 4196468 140737447516144 140434426535000 140434454682576 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19491] ppid=19431 vsize=10929916 CPUtime=10.72 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19491/stat : 19491 (java) R 19431 19434 16473 0 -1 4202560 4936 12671 0 0 993 67 8 4 20 0 20 0 6868477 11192233984 884054 33554432000 4194304 4196468 140737447516144 140434075474904 140434454682631 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19492] ppid=19431 vsize=10929916 CPUtime=10.74 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19492/stat : 19492 (java) R 19431 19434 16473 0 -1 4202560 2248 12671 0 0 997 65 8 4 20 0 20 0 6868477 11192233984 884054 33554432000 4194304 4196468 140737447516144 140434074422616 140434454978373 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19493] ppid=19431 vsize=10929916 CPUtime=10.7 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19493/stat : 19493 (java) R 19431 19434 16473 0 -1 4202560 1768 12671 0 0 994 64 8 4 20 0 20 0 6868477 11192233984 884054 33554432000 4194304 4196468 140737447516144 140434073369816 140434451591789 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19494] ppid=19431 vsize=10929916 CPUtime=10.73 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19494/stat : 19494 (java) R 19431 19434 16473 0 -1 4202560 1660 12671 0 0 995 66 8 4 20 0 20 0 6868477 11192233984 884054 33554432000 4194304 4196468 140737447516144 140434072316504 140434454682631 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19495] ppid=19431 vsize=10929916 CPUtime=10.71 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19495/stat : 19495 (java) R 19431 19434 16473 0 -1 4202560 2060 12671 0 0 995 64 8 4 20 0 20 0 6868477 11192233984 884054 33554432000 4194304 4196468 140737447516144 140434071263704 140434454682634 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19496] ppid=19431 vsize=10929916 CPUtime=10.74 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19496/stat : 19496 (java) R 19431 19434 16473 0 -1 4202560 1901 12671 0 0 997 65 8 4 20 0 20 0 6868477 11192233984 884054 33554432000 4194304 4196468 140737447516144 140434070211104 140434454682576 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19497] ppid=19431 vsize=10929916 CPUtime=10.72 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19497/stat : 19497 (java) R 19431 19434 16473 0 -1 4202560 2066 12671 0 0 995 65 8 4 20 0 20 0 6868477 11192233984 884054 33554432000 4194304 4196468 140737447516144 140434069158616 140434451591552 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19498] ppid=19431 vsize=10929916 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19498/stat : 19498 (java) S 19431 19434 16473 0 -1 1077944384 26439 12671 0 0 15 1 8 4 20 0 20 0 6868479 11192233984 884054 33554432000 4194304 4196468 140737447516144 140433944429840 140434469992149 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19499] ppid=19431 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19499/stat : 19499 (java) S 19431 19434 16473 0 -1 1077944384 68 12671 0 0 0 0 8 4 20 0 20 0 6868480 11192233984 884054 33554432000 4194304 4196468 140737447516144 140433943377248 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19500] ppid=19431 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19500/stat : 19500 (java) S 19431 19434 16473 0 -1 1077944384 56 12671 0 0 0 0 8 4 20 0 20 0 6868481 11192233984 884054 33554432000 4194304 4196468 140737447516144 140433942324864 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19501] ppid=19431 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19501/stat : 19501 (java) S 19431 19434 16473 0 -1 1077944384 1 12671 0 0 0 0 8 4 20 0 20 0 6868484 11192233984 884054 33554432000 4194304 4196468 140737447516144 140433941273168 140434470000539 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19502] ppid=19431 vsize=10929916 CPUtime=4.37 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19502/stat : 19502 (java) S 19431 19434 16473 0 -1 1077944384 11704 12671 0 0 422 3 8 4 20 0 20 0 6868484 11192233984 884054 33554432000 4194304 4196468 140737447516144 140433940220016 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19503] ppid=19431 vsize=10929916 CPUtime=4.27 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19503/stat : 19503 (java) S 19431 19434 16473 0 -1 1077944384 9931 12671 0 0 412 3 8 4 20 0 20 0 6868484 11192233984 884054 33554432000 4194304 4196468 140737447516144 140433939167216 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19504] ppid=19431 vsize=10929916 CPUtime=4.58 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19504/stat : 19504 (java) S 19431 19434 16473 0 -1 1077944384 13186 12671 0 0 443 3 8 4 20 0 20 0 6868484 11192233984 884054 33554432000 4194304 4196468 140737447516144 140433938114928 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19505] ppid=19431 vsize=10929916 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19505/stat : 19505 (java) S 19431 19434 16473 0 -1 1077944384 11323 12671 0 0 164 3 8 4 20 0 20 0 6868485 11192233984 884054 33554432000 4194304 4196468 140737447516144 140433937056736 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 1 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19506] ppid=19431 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19506/stat : 19506 (java) S 19431 19434 16473 0 -1 1077944384 3 12671 0 0 0 0 8 4 20 0 20 0 6868485 11192233984 884054 33554432000 4194304 4196468 140737447516144 140433936010080 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19507] ppid=19431 vsize=10929916 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19507/stat : 19507 (java) S 19431 19434 16473 0 -1 1077944384 185 12671 0 0 5 4 8 4 20 0 20 0 6868485 11192233984 884054 33554432000 4194304 4196468 140737447516144 140433934957360 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
Current children cumulated CPU time (s) 251.97
Current children cumulated vsize (KiB) 10929916

[startup+164.801 s]
/proc/loadavg: 1.62 1.95 1.87 10/281 19509
/proc/meminfo: memFree=27463828/32770624 swapFree=5720/292440
[pid=19434] ppid=19431 vsize=10929916 CPUtime=264.34 cores=0,2,4,6,8,10,12,14
/proc/19434/stat : 19434 (java) S 19431 19434 16473 0 -1 1077944320 165667 12671 0 0 25833 589 8 4 20 0 20 0 6868464 11192233984 889232 33554432000 4194304 4196468 140737447516144 140737447498688 140434469981943 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
/proc/19434/statm: 2732479 889232 3511 1 0 2720034 0
[pid=19434/tid=19489] ppid=19431 vsize=10929916 CPUtime=152.1 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19489/stat : 19489 (java) S 19431 19434 16473 0 -1 1077944384 70128 12671 0 0 15154 44 8 4 20 0 20 0 6868476 11192233984 889232 33554432000 4194304 4196468 140737447516144 140434474219728 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19490] ppid=19431 vsize=10929916 CPUtime=12.35 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19490/stat : 19490 (java) R 19431 19434 16473 0 -1 4202560 3330 12671 0 0 1158 65 8 4 20 0 20 0 6868477 11192233984 889232 33554432000 4194304 4196468 140737447516144 140434426534800 140434451578384 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19491] ppid=19431 vsize=10929916 CPUtime=12.26 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19491/stat : 19491 (java) R 19431 19434 16473 0 -1 4202560 4951 12671 0 0 1147 67 8 4 20 0 20 0 6868477 11192233984 889232 33554432000 4194304 4196468 140737447516144 140434075474904 140434451535184 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19492] ppid=19431 vsize=10929916 CPUtime=12.28 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19492/stat : 19492 (java) R 19431 19434 16473 0 -1 4202560 2253 12671 0 0 1151 65 8 4 20 0 20 0 6868477 11192233984 889232 33554432000 4194304 4196468 140737447516144 140434074422416 140434451578501 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19493] ppid=19431 vsize=10929916 CPUtime=12.21 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19493/stat : 19493 (java) R 19431 19434 16473 0 -1 4202560 1781 12671 0 0 1145 64 8 4 20 0 20 0 6868477 11192233984 889232 33554432000 4194304 4196468 140737447516144 140434073369616 140434454679718 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19494] ppid=19431 vsize=10929916 CPUtime=12.27 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19494/stat : 19494 (java) R 19431 19434 16473 0 -1 4202560 1670 12671 0 0 1149 66 8 4 20 0 20 0 6868477 11192233984 889232 33554432000 4194304 4196468 140737447516144 140434072316304 140434454967240 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19495] ppid=19431 vsize=10929916 CPUtime=12.26 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19495/stat : 19495 (java) R 19431 19434 16473 0 -1 4202560 2068 12671 0 0 1150 64 8 4 20 0 20 0 6868477 11192233984 889232 33554432000 4194304 4196468 140737447516144 140434071263504 140434451535184 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19496] ppid=19431 vsize=10929916 CPUtime=12.29 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19496/stat : 19496 (java) R 19431 19434 16473 0 -1 4202560 1908 12671 0 0 1152 65 8 4 20 0 20 0 6868477 11192233984 889232 33554432000 4194304 4196468 140737447516144 140434070211216 140434451578435 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19497] ppid=19431 vsize=10929916 CPUtime=12.27 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19497/stat : 19497 (java) R 19431 19434 16473 0 -1 4202560 2070 12671 0 0 1150 65 8 4 20 0 20 0 6868477 11192233984 889232 33554432000 4194304 4196468 140737447516144 140434069158616 140434451577819 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19498] ppid=19431 vsize=10929916 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19498/stat : 19498 (java) S 19431 19434 16473 0 -1 1077944384 26918 12671 0 0 20 1 8 4 20 0 20 0 6868479 11192233984 889232 33554432000 4194304 4196468 140737447516144 140433944429616 140434469992149 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19499] ppid=19431 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19499/stat : 19499 (java) S 19431 19434 16473 0 -1 1077944384 69 12671 0 0 0 0 8 4 20 0 20 0 6868480 11192233984 889232 33554432000 4194304 4196468 140737447516144 140433943377152 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19500] ppid=19431 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19500/stat : 19500 (java) S 19431 19434 16473 0 -1 1077944384 56 12671 0 0 0 0 8 4 20 0 20 0 6868481 11192233984 889232 33554432000 4194304 4196468 140737447516144 140433942324864 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19501] ppid=19431 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19501/stat : 19501 (java) S 19431 19434 16473 0 -1 1077944384 1 12671 0 0 0 0 8 4 20 0 20 0 6868484 11192233984 889232 33554432000 4194304 4196468 140737447516144 140433941273168 140434470000539 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19502] ppid=19431 vsize=10929916 CPUtime=4.37 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19502/stat : 19502 (java) S 19431 19434 16473 0 -1 1077944384 11704 12671 0 0 422 3 8 4 20 0 20 0 6868484 11192233984 889232 33554432000 4194304 4196468 140737447516144 140433940220016 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19503] ppid=19431 vsize=10929916 CPUtime=4.27 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19503/stat : 19503 (java) S 19431 19434 16473 0 -1 1077944384 9931 12671 0 0 412 3 8 4 20 0 20 0 6868484 11192233984 889232 33554432000 4194304 4196468 140737447516144 140433939167216 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19504] ppid=19431 vsize=10929916 CPUtime=4.58 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19504/stat : 19504 (java) S 19431 19434 16473 0 -1 1077944384 13186 12671 0 0 443 3 8 4 20 0 20 0 6868484 11192233984 889232 33554432000 4194304 4196468 140737447516144 140433938114928 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19505] ppid=19431 vsize=10929916 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19505/stat : 19505 (java) S 19431 19434 16473 0 -1 1077944384 11327 12671 0 0 164 3 8 4 20 0 20 0 6868485 11192233984 889232 33554432000 4194304 4196468 140737447516144 140433937057104 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19506] ppid=19431 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19506/stat : 19506 (java) S 19431 19434 16473 0 -1 1077944384 3 12671 0 0 0 0 8 4 20 0 20 0 6868485 11192233984 889232 33554432000 4194304 4196468 140737447516144 140433936010080 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19507] ppid=19431 vsize=10929916 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19507/stat : 19507 (java) S 19431 19434 16473 0 -1 1077944384 185 12671 0 0 5 4 8 4 20 0 20 0 6868485 11192233984 889232 33554432000 4194304 4196468 140737447516144 140433934957360 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
Current children cumulated CPU time (s) 264.34
Current children cumulated vsize (KiB) 10929916

[startup+165.601 s]
/proc/loadavg: 1.89 2.00 1.89 10/281 19509
/proc/meminfo: memFree=27463904/32770624 swapFree=5720/292440
[pid=19434] ppid=19431 vsize=10929916 CPUtime=270.57 cores=0,2,4,6,8,10,12,14
/proc/19434/stat : 19434 (java) S 19431 19434 16473 0 -1 1077944320 165670 12671 0 0 26455 590 8 4 20 0 20 0 6868464 11192233984 889232 33554432000 4194304 4196468 140737447516144 140737447498688 140434469981943 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
/proc/19434/statm: 2732479 889232 3511 1 0 2720034 0
[pid=19434/tid=19489] ppid=19431 vsize=10929916 CPUtime=152.1 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19489/stat : 19489 (java) S 19431 19434 16473 0 -1 1077944384 70128 12671 0 0 15154 44 8 4 20 0 20 0 6868476 11192233984 889232 33554432000 4194304 4196468 140737447516144 140434474219728 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19490] ppid=19431 vsize=10929916 CPUtime=13.13 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19490/stat : 19490 (java) R 19431 19434 16473 0 -1 4202560 3330 12671 0 0 1236 65 8 4 20 0 20 0 6868477 11192233984 889232 33554432000 4194304 4196468 140737447516144 140434426535000 140434451578966 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19491] ppid=19431 vsize=10929916 CPUtime=13.02 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19491/stat : 19491 (java) R 19431 19434 16473 0 -1 4202560 4952 12671 0 0 1223 67 8 4 20 0 20 0 6868477 11192233984 889232 33554432000 4194304 4196468 140737447516144 140434075474904 140434451578478 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19492] ppid=19431 vsize=10929916 CPUtime=13.06 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19492/stat : 19492 (java) R 19431 19434 16473 0 -1 4202560 2254 12671 0 0 1229 65 8 4 20 0 20 0 6868477 11192233984 889232 33554432000 4194304 4196468 140737447516144 140434074422616 140434451578954 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19493] ppid=19431 vsize=10929916 CPUtime=12.99 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19493/stat : 19493 (java) R 19431 19434 16473 0 -1 4202560 1781 12671 0 0 1223 64 8 4 20 0 20 0 6868477 11192233984 889232 33554432000 4194304 4196468 140737447516144 140434073369504 140434454967239 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19494] ppid=19431 vsize=10929916 CPUtime=13.05 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19494/stat : 19494 (java) R 19431 19434 16473 0 -1 4202560 1670 12671 0 0 1227 66 8 4 20 0 20 0 6868477 11192233984 889232 33554432000 4194304 4196468 140737447516144 140434072316504 140434454932548 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19495] ppid=19431 vsize=10929916 CPUtime=13.04 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19495/stat : 19495 (java) R 19431 19434 16473 0 -1 4202560 2068 12671 0 0 1228 64 8 4 20 0 20 0 6868477 11192233984 889232 33554432000 4194304 4196468 140737447516144 140434071263704 140434454932548 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19496] ppid=19431 vsize=10929916 CPUtime=13.07 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19496/stat : 19496 (java) R 19431 19434 16473 0 -1 4202560 1908 12671 0 0 1230 65 8 4 20 0 20 0 6868477 11192233984 889232 33554432000 4194304 4196468 140737447516144 140434070211416 140434451578429 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19497] ppid=19431 vsize=10929916 CPUtime=13.04 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19497/stat : 19497 (java) R 19431 19434 16473 0 -1 4202560 2070 12671 0 0 1227 65 8 4 20 0 20 0 6868477 11192233984 889232 33554432000 4194304 4196468 140737447516144 140434069158616 140434451578954 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19498] ppid=19431 vsize=10929916 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19498/stat : 19498 (java) S 19431 19434 16473 0 -1 1077944384 26918 12671 0 0 22 1 8 4 20 0 20 0 6868479 11192233984 889232 33554432000 4194304 4196468 140737447516144 140433944429616 140434469992149 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19499] ppid=19431 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19499/stat : 19499 (java) S 19431 19434 16473 0 -1 1077944384 69 12671 0 0 0 0 8 4 20 0 20 0 6868480 11192233984 889232 33554432000 4194304 4196468 140737447516144 140433943377152 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19500] ppid=19431 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19500/stat : 19500 (java) S 19431 19434 16473 0 -1 1077944384 56 12671 0 0 0 0 8 4 20 0 20 0 6868481 11192233984 889232 33554432000 4194304 4196468 140737447516144 140433942324864 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19501] ppid=19431 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19501/stat : 19501 (java) S 19431 19434 16473 0 -1 1077944384 1 12671 0 0 0 0 8 4 20 0 20 0 6868484 11192233984 889232 33554432000 4194304 4196468 140737447516144 140433941273168 140434470000539 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19502] ppid=19431 vsize=10929916 CPUtime=4.37 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19502/stat : 19502 (java) S 19431 19434 16473 0 -1 1077944384 11704 12671 0 0 422 3 8 4 20 0 20 0 6868484 11192233984 889232 33554432000 4194304 4196468 140737447516144 140433940220016 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19503] ppid=19431 vsize=10929916 CPUtime=4.27 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19503/stat : 19503 (java) S 19431 19434 16473 0 -1 1077944384 9931 12671 0 0 412 3 8 4 20 0 20 0 6868484 11192233984 889232 33554432000 4194304 4196468 140737447516144 140433939167216 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19504] ppid=19431 vsize=10929916 CPUtime=4.58 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19504/stat : 19504 (java) S 19431 19434 16473 0 -1 1077944384 13186 12671 0 0 443 3 8 4 20 0 20 0 6868484 11192233984 889232 33554432000 4194304 4196468 140737447516144 140433938114928 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19505] ppid=19431 vsize=10929916 CPUtime=1.79 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19505/stat : 19505 (java) S 19431 19434 16473 0 -1 1077944384 11328 12671 0 0 164 3 8 4 20 0 20 0 6868485 11192233984 889232 33554432000 4194304 4196468 140737447516144 140433937058336 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19506] ppid=19431 vsize=10929916 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19506/stat : 19506 (java) S 19431 19434 16473 0 -1 1077944384 3 12671 0 0 0 0 8 4 20 0 20 0 6868485 11192233984 889232 33554432000 4194304 4196468 140737447516144 140433936010080 140434469992149 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
[pid=19434/tid=19507] ppid=19431 vsize=10929916 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19507/stat : 19507 (java) S 19431 19434 16473 0 -1 1077944384 185 12671 0 0 5 4 8 4 20 0 20 0 6868485 11192233984 889232 33554432000 4194304 4196468 140737447516144 140433934957360 140434469993090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31973376 140737447520961 140737447523735 140737447523735 140737447526351 0
Current children cumulated CPU time (s) 270.57
Current children cumulated vsize (KiB) 10929916

[startup+166.001 s]
/proc/loadavg: 1.89 2.00 1.89 10/281 19509
/proc/meminfo: memFree=27463904/32770624 swapFree=5720/292440
[pid=19434] ppid=19431 vsize=0 CPUtime=273.54 cores=0,2,4,6,8,10,12,14
/proc/19434/stat : 19434 (java) Z 19431 19434 16473 0 -1 4227084 171520 12671 0 0 26751 591 8 4 20 0 2 0 6868464 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/19434/statm: 0 0 0 0 0 0 0
[pid=19434/tid=19494] ppid=19431 vsize=0 CPUtime=13.43 cores=0,2,4,6,8,10,12,14
/proc/19434/task/19494/stat : 19494 (java) R 19431 19434 16473 0 -1 4203588 1764 12671 0 0 1264 67 8 4 20 0 2 0 6868477 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 10 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 273.54
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 166.023
CPU time (s): 273.575
CPU user time (s): 267.598
CPU system time (s): 5.97647
CPU usage (%): 164.781
Max. virtual memory (cumulated for all children) (KiB): 10932032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 267.598
system time used= 5.97647
maximum resident set size= 3558248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184191
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17886
involuntary context switches= 16032

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.01775 second user time and 1.57738 second system time

The end

Launcher Data 

Begin job on node114 at 2017-07-22 11:33:13
IDJOB=4246567
IDBENCH=125996
IDSOLVER=2630
FILE ID=node114/4246567-1500715993
RUNJOBID= node114-1500696853-12413
PBS_JOBID= 20623324
Free space on /tmp= 61984 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/QRandom/QRandom-bdd-18-21-2/bdd-18-21-2-133-78-06.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246567-1500715993/watcher-4246567-1500715993 -o /tmp/evaluation-result-4246567-1500715993/solver-4246567-1500715993 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500696853-12413 --watchdog 2560  bin/concrete HOME/instance-4246567-1500715993.xml

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

MD5SUM BENCH= c11db23a97f48af6ae936ba62121dffc
RANDOM SEED=1373395417

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

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

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

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

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

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

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

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

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.60
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		: 1867.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.60
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		: 1867.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		: 1733.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.60
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:        30549788 kB
MemAvailable:   30821512 kB
Buffers:          142488 kB
Cached:           407572 kB
SwapCached:            0 kB
Active:          1479460 kB
Inactive:         300688 kB
Active(anon):    1232584 kB
Inactive(anon):     8828 kB
Active(file):     246876 kB
Inactive(file):   291860 kB
Unevictable:        5720 kB
Mlocked:            5720 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26212 kB
Writeback:             0 kB
AnonPages:       1448276 kB
Mapped:            44396 kB
Shmem:              8848 kB
Slab:             131740 kB
SReclaimable:      97648 kB
SUnreclaim:        34092 kB
KernelStack:        4864 kB
PageTables:         8060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1860008 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1210368 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 61960 MiB
End job on node114 at 2017-07-22 11:35:59