Trace number 4248468

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 7.46287 3.4673

General information on the benchmark

NameMagicHexagon/MagicHexagon-m1-s1/
MagicHexagon-02-0000.xml
MD5SUM8b819236af280311daec7c53b622bca4
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 benchmark0.0028570001
Satisfiable
(Un)Satisfiability was proved
Number of variables9
Number of constraints16
Number of domains1
Minimum domain size7
Maximum domain size7
Distribution of domain sizes[{"size":7,"count":7}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":2},{"degree":4,"count":1},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity7
Distribution of constraint arities[{"arity":2,"count":12},{"arity":3,"count":3},{"arity":7,"count":1}]
Number of extensional constraints0
Number of intensional constraints6
Distribution of constraint types[{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":9}]
Optimization problemNO
Type of objective

Solver Data 

3.85/2.26	c Concrete v3.4 running
7.04/3.41	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-4248468-1500746270/watcher-4248468-1500746270 -o /tmp/evaluation-result-4248468-1500746270/solver-4248468-1500746270 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500745995-28332 --watchdog 2560 bin/concrete HOME/instance-4248468-1500746270.xml 

pid=28716
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: 1.55 1.31 1.07 5/263 28719
/proc/meminfo: memFree=31594452/32770624 swapFree=5920/166060
[pid=28719] ppid=28716 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/28719/stat : 28719 (bash) S 28716 28719 19746 0 -1 4202496 685 1535 0 0 0 0 0 0 20 0 1 0 9896705 9736192 350 33554432000 4194304 5098028 140737027029856 140737027027496 139988817300480 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 11706368 140737027032334 140737027032419 140737027032419 140737027035118 0
/proc/28719/statm: 2377 350 278 221 0 86 0

[startup+0.10019 s]
/proc/loadavg: 1.55 1.31 1.07 5/263 28719
/proc/meminfo: memFree=31594452/32770624 swapFree=5920/166060
[pid=28719] ppid=28716 vsize=9640 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/28719/stat : 28719 (bash) S 28716 28719 19746 0 -1 4202496 877 6423 0 0 0 0 0 2 20 0 1 0 9896705 9871360 377 33554432000 4194304 5098028 140737027029856 140737027023864 139988817300480 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 11706368 140737027032334 140737027032419 140737027032419 140737027035118 0
/proc/28719/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9640

[startup+0.200353 s]
/proc/loadavg: 1.55 1.31 1.07 5/263 28719
/proc/meminfo: memFree=31594452/32770624 swapFree=5920/166060
[pid=28719] ppid=28716 vsize=10435860 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/28719/stat : 28719 (java) S 28716 28719 19746 0 -1 1077944320 5108 12511 0 0 5 1 8 5 20 0 13 0 9896705 10686320640 5447 33554432000 4194304 4196468 140735383017744 140735383000288 140484193341175 0 0 0 16800971 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
/proc/28719/statm: 2608965 5447 2137 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860

[startup+0.300268 s]
/proc/loadavg: 1.55 1.31 1.07 5/263 28719
/proc/meminfo: memFree=31594452/32770624 swapFree=5920/166060
[pid=28719] ppid=28716 vsize=10902392 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/28719/stat : 28719 (java) S 28716 28719 19746 0 -1 1077944320 7050 12511 0 0 22 2 8 5 20 0 20 0 9896705 11164049408 8805 33554432000 4194304 4196468 140735383017744 140735383000288 140484193341175 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
/proc/28719/statm: 2725598 8805 2996 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902392

[startup+0.700164 s]
/proc/loadavg: 1.55 1.31 1.07 5/263 28719
/proc/meminfo: memFree=31594452/32770624 swapFree=5920/166060
[pid=28719] ppid=28716 vsize=10902720 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/28719/stat : 28719 (java) S 28716 28719 19746 0 -1 1077944320 12200 12511 0 0 72 4 8 5 20 0 20 0 9896705 11164385280 15031 33554432000 4194304 4196468 140735383017744 140735383000288 140484193341175 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
/proc/28719/statm: 2725680 15031 3133 1 0 2713890 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 10902720

[startup+1.50068 s]
/proc/loadavg: 1.55 1.31 1.07 4/283 28792
/proc/meminfo: memFree=31434048/32770624 swapFree=5920/166116
[pid=28719] ppid=28716 vsize=10913344 CPUtime=2.28 cores=0,2,4,6,8,10,12,14
/proc/28719/stat : 28719 (java) S 28716 28719 19746 0 -1 1077944320 27172 12511 0 0 201 14 8 5 20 0 20 0 9896705 11175264256 44058 33554432000 4194304 4196468 140735383017744 140735383000288 140484193341175 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
/proc/28719/statm: 2728336 44058 3407 1 0 2716450 0
[pid=28719/tid=28774] ppid=28716 vsize=10913344 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28774/stat : 28774 (java) R 28716 28719 19746 0 -1 4202560 19205 12511 0 0 124 6 8 5 20 0 20 0 9896718 11175264256 44058 33554432000 4194304 4196468 140735383017744 140484197569536 140484193353110 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28775] ppid=28716 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28775/stat : 28775 (java) S 28716 28719 19746 0 -1 1077944384 27 12511 0 0 0 0 8 5 20 0 20 0 9896719 11175264256 44058 33554432000 4194304 4196468 140735383017744 140484154300688 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28776] ppid=28716 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28776/stat : 28776 (java) S 28716 28719 19746 0 -1 1077944384 22 12511 0 0 1 0 8 5 20 0 20 0 9896719 11175264256 44058 33554432000 4194304 4196468 140735383017744 140483798735248 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28777] ppid=28716 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28777/stat : 28777 (java) S 28716 28719 19746 0 -1 1077944384 17 12511 0 0 0 0 8 5 20 0 20 0 9896719 11175264256 44058 33554432000 4194304 4196468 140735383017744 140483797682704 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28778] ppid=28716 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28778/stat : 28778 (java) S 28716 28719 19746 0 -1 1077944384 20 12511 0 0 1 0 8 5 20 0 20 0 9896719 11175264256 44058 33554432000 4194304 4196468 140735383017744 140483796630160 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28779] ppid=28716 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28779/stat : 28779 (java) S 28716 28719 19746 0 -1 1077944384 19 12511 0 0 0 0 8 5 20 0 20 0 9896719 11175264256 44058 33554432000 4194304 4196468 140735383017744 140483795577616 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28780] ppid=28716 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28780/stat : 28780 (java) S 28716 28719 19746 0 -1 1077944384 126 12511 0 0 1 0 8 5 20 0 20 0 9896719 11175264256 44058 33554432000 4194304 4196468 140735383017744 140483794525072 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28781] ppid=28716 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28781/stat : 28781 (java) S 28716 28719 19746 0 -1 1077944384 28 12511 0 0 0 0 8 5 20 0 20 0 9896719 11175264256 44058 33554432000 4194304 4196468 140735383017744 140483793472528 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28782] ppid=28716 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28782/stat : 28782 (java) S 28716 28719 19746 0 -1 1077944384 57 12511 0 0 1 0 8 5 20 0 20 0 9896719 11175264256 44058 33554432000 4194304 4196468 140735383017744 140483792419984 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28783] ppid=28716 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28783/stat : 28783 (java) S 28716 28719 19746 0 -1 1077944384 1377 12511 0 0 1 0 8 5 20 0 20 0 9896722 11175264256 44058 33554432000 4194304 4196468 140735383017744 140483667888112 140484193352322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28784] ppid=28716 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28784/stat : 28784 (java) S 28716 28719 19746 0 -1 1077944384 55 12511 0 0 0 0 8 5 20 0 20 0 9896722 11175264256 44058 33554432000 4194304 4196468 140735383017744 140483666834400 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28785] ppid=28716 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28785/stat : 28785 (java) S 28716 28719 19746 0 -1 1077944384 43 12511 0 0 0 0 8 5 20 0 20 0 9896723 11175264256 44058 33554432000 4194304 4196468 140735383017744 140483665781760 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28786] ppid=28716 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28786/stat : 28786 (java) S 28716 28719 19746 0 -1 1077944384 1 12511 0 0 0 0 8 5 20 0 20 0 9896727 11175264256 44058 33554432000 4194304 4196468 140735383017744 140483664730320 140484193359771 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28787] ppid=28716 vsize=10913344 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28787/stat : 28787 (java) S 28716 28719 19746 0 -1 1077944384 1782 12511 0 0 17 0 8 5 20 0 20 0 9896727 11175264256 44058 33554432000 4194304 4196468 140735383017744 140483663677936 140484193352322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28788] ppid=28716 vsize=10913344 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28788/stat : 28788 (java) R 28716 28719 19746 0 -1 4202560 491 12511 0 0 11 0 8 5 20 0 20 0 9896727 11175264256 44058 33554432000 4194304 4196468 140735383017744 140483662624080 140484174888755 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28789] ppid=28716 vsize=10913344 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28789/stat : 28789 (java) S 28716 28719 19746 0 -1 1077944384 520 12511 0 0 10 0 8 5 20 0 20 0 9896727 11175264256 44058 33554432000 4194304 4196468 140735383017744 140483661572848 140484193352322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28790] ppid=28716 vsize=10913344 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28790/stat : 28790 (java) S 28716 28719 19746 0 -1 1077944384 1249 12511 0 0 26 0 8 5 20 0 20 0 9896727 11175264256 44058 33554432000 4194304 4196468 140735383017744 140483660520304 140484193352322 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28791] ppid=28716 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28791/stat : 28791 (java) S 28716 28719 19746 0 -1 1077944384 3 12511 0 0 0 0 8 5 20 0 20 0 9896727 11175264256 44058 33554432000 4194304 4196468 140735383017744 140483659466976 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28792] ppid=28716 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28792/stat : 28792 (java) S 28716 28719 19746 0 -1 1077944384 3 12511 0 0 0 0 8 5 20 0 20 0 9896728 11175264256 44058 33554432000 4194304 4196468 140735383017744 140483658414512 140484193352322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 10913344

[startup+3.10118 s]
/proc/loadavg: 1.55 1.31 1.07 10/283 28792
/proc/meminfo: memFree=31247804/32770624 swapFree=5920/166116
[pid=28719] ppid=28716 vsize=10927868 CPUtime=6.14 cores=0,2,4,6,8,10,12,14
/proc/28719/stat : 28719 (java) S 28716 28719 19746 0 -1 1077944320 52867 12511 0 0 577 24 8 5 20 0 20 0 9896705 11190136832 64647 33554432000 4194304 4196468 140735383017744 140735383000288 140484193341175 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
/proc/28719/statm: 2731967 64647 3478 1 0 2719522 0
[pid=28719/tid=28774] ppid=28716 vsize=10927868 CPUtime=2.98 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28774/stat : 28774 (java) R 28716 28719 19746 0 -1 4202560 34151 12511 0 0 275 10 8 5 20 0 20 0 9896718 11190136832 64647 33554432000 4194304 4196468 140735383017744 140484197548544 140484176527984 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28775] ppid=28716 vsize=10927868 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28775/stat : 28775 (java) S 28716 28719 19746 0 -1 1077944384 49 12511 0 0 2 1 8 5 20 0 20 0 9896719 11190136832 64647 33554432000 4194304 4196468 140735383017744 140484154300688 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28776] ppid=28716 vsize=10927868 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28776/stat : 28776 (java) S 28716 28719 19746 0 -1 1077944384 34 12511 0 0 2 0 8 5 20 0 20 0 9896719 11190136832 64647 33554432000 4194304 4196468 140735383017744 140483798735248 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28777] ppid=28716 vsize=10927868 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28777/stat : 28777 (java) S 28716 28719 19746 0 -1 1077944384 48 12511 0 0 2 1 8 5 20 0 20 0 9896719 11190136832 64647 33554432000 4194304 4196468 140735383017744 140483797682704 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28778] ppid=28716 vsize=10927868 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28778/stat : 28778 (java) S 28716 28719 19746 0 -1 1077944384 22 12511 0 0 2 0 8 5 20 0 20 0 9896719 11190136832 64647 33554432000 4194304 4196468 140735383017744 140483796630160 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28779] ppid=28716 vsize=10927868 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28779/stat : 28779 (java) S 28716 28719 19746 0 -1 1077944384 53 12511 0 0 2 1 8 5 20 0 20 0 9896719 11190136832 64647 33554432000 4194304 4196468 140735383017744 140483795577616 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28780] ppid=28716 vsize=10927868 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28780/stat : 28780 (java) S 28716 28719 19746 0 -1 1077944384 142 12511 0 0 2 1 8 5 20 0 20 0 9896719 11190136832 64647 33554432000 4194304 4196468 140735383017744 140483794525072 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28781] ppid=28716 vsize=10927868 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28781/stat : 28781 (java) S 28716 28719 19746 0 -1 1077944384 30 12511 0 0 2 0 8 5 20 0 20 0 9896719 11190136832 64647 33554432000 4194304 4196468 140735383017744 140483793472528 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28782] ppid=28716 vsize=10927868 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28782/stat : 28782 (java) S 28716 28719 19746 0 -1 1077944384 100 12511 0 0 2 0 8 5 20 0 20 0 9896719 11190136832 64647 33554432000 4194304 4196468 140735383017744 140483792419984 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28783] ppid=28716 vsize=10927868 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28783/stat : 28783 (java) S 28716 28719 19746 0 -1 1077944384 2171 12511 0 0 4 0 8 5 20 0 20 0 9896722 11190136832 64647 33554432000 4194304 4196468 140735383017744 140483667888112 140484193352322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28784] ppid=28716 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28784/stat : 28784 (java) S 28716 28719 19746 0 -1 1077944384 56 12511 0 0 0 0 8 5 20 0 20 0 9896722 11190136832 64647 33554432000 4194304 4196468 140735383017744 140483666834400 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28785] ppid=28716 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28785/stat : 28785 (java) S 28716 28719 19746 0 -1 1077944384 43 12511 0 0 0 0 8 5 20 0 20 0 9896723 11190136832 64647 33554432000 4194304 4196468 140735383017744 140483665781760 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28786] ppid=28716 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28786/stat : 28786 (java) S 28716 28719 19746 0 -1 1077944384 1 12511 0 0 0 0 8 5 20 0 20 0 9896727 11190136832 64647 33554432000 4194304 4196468 140735383017744 140483664730320 140484193359771 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28787] ppid=28716 vsize=10927868 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28787/stat : 28787 (java) S 28716 28719 19746 0 -1 1077944384 6085 12511 0 0 88 1 8 5 20 0 20 0 9896727 11190136832 64647 33554432000 4194304 4196468 140735383017744 140483663677936 140484193352322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28788] ppid=28716 vsize=10927868 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28788/stat : 28788 (java) S 28716 28719 19746 0 -1 1077944384 955 12511 0 0 38 1 8 5 20 0 20 0 9896727 11190136832 64647 33554432000 4194304 4196468 140735383017744 140483662625392 140484193352322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28789] ppid=28716 vsize=10927868 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28789/stat : 28789 (java) R 28716 28719 19746 0 -1 4202560 3196 12511 0 0 57 1 8 5 20 0 20 0 9896727 11190136832 64647 33554432000 4194304 4196468 140735383017744 140483661552936 140484186438011 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28790] ppid=28716 vsize=10927868 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28790/stat : 28790 (java) S 28716 28719 19746 0 -1 1077944384 3597 12511 0 0 90 1 8 5 20 0 20 0 9896727 11190136832 64647 33554432000 4194304 4196468 140735383017744 140483660520304 140484193352322 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28791] ppid=28716 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28791/stat : 28791 (java) S 28716 28719 19746 0 -1 1077944384 3 12511 0 0 0 0 8 5 20 0 20 0 9896727 11190136832 64647 33554432000 4194304 4196468 140735383017744 140483659466976 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28792] ppid=28716 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28792/stat : 28792 (java) S 28716 28719 19746 0 -1 1077944384 5 12511 0 0 0 0 8 5 20 0 20 0 9896728 11190136832 64647 33554432000 4194304 4196468 140735383017744 140483658414512 140484193352322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 10927868

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

[startup+3.20142 s]
/proc/loadavg: 1.55 1.31 1.07 10/283 28792
/proc/meminfo: memFree=31247804/32770624 swapFree=5920/166116
[pid=28719] ppid=28716 vsize=10993404 CPUtime=6.36 cores=0,2,4,6,8,10,12,14
/proc/28719/stat : 28719 (java) S 28716 28719 19746 0 -1 1077944320 58403 12511 0 0 598 25 8 5 20 0 20 0 9896705 11257245696 70195 33554432000 4194304 4196468 140735383017744 140735383000288 140484193341175 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
/proc/28719/statm: 2748351 70195 3478 1 0 2735906 0
[pid=28719/tid=28774] ppid=28716 vsize=10993404 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28774/stat : 28774 (java) R 28716 28719 19746 0 -1 4202560 39535 12511 0 0 284 11 8 5 20 0 20 0 9896718 11257245696 70195 33554432000 4194304 4196468 140735383017744 140484197576408 140484193353110 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28775] ppid=28716 vsize=10993404 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28775/stat : 28775 (java) S 28716 28719 19746 0 -1 1077944384 49 12511 0 0 2 1 8 5 20 0 20 0 9896719 11257245696 70195 33554432000 4194304 4196468 140735383017744 140484154300688 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28776] ppid=28716 vsize=10993404 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28776/stat : 28776 (java) S 28716 28719 19746 0 -1 1077944384 34 12511 0 0 2 0 8 5 20 0 20 0 9896719 11257245696 70195 33554432000 4194304 4196468 140735383017744 140483798735248 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28777] ppid=28716 vsize=10993404 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28777/stat : 28777 (java) S 28716 28719 19746 0 -1 1077944384 48 12511 0 0 2 1 8 5 20 0 20 0 9896719 11257245696 70195 33554432000 4194304 4196468 140735383017744 140483797682704 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28778] ppid=28716 vsize=10993404 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28778/stat : 28778 (java) S 28716 28719 19746 0 -1 1077944384 22 12511 0 0 2 0 8 5 20 0 20 0 9896719 11257245696 70195 33554432000 4194304 4196468 140735383017744 140483796630160 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28779] ppid=28716 vsize=10993404 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28779/stat : 28779 (java) S 28716 28719 19746 0 -1 1077944384 53 12511 0 0 2 1 8 5 20 0 20 0 9896719 11257245696 70195 33554432000 4194304 4196468 140735383017744 140483795577616 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28780] ppid=28716 vsize=10993404 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28780/stat : 28780 (java) S 28716 28719 19746 0 -1 1077944384 142 12511 0 0 2 1 8 5 20 0 20 0 9896719 11257245696 70195 33554432000 4194304 4196468 140735383017744 140483794525072 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28781] ppid=28716 vsize=10993404 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28781/stat : 28781 (java) S 28716 28719 19746 0 -1 1077944384 30 12511 0 0 2 0 8 5 20 0 20 0 9896719 11257245696 70195 33554432000 4194304 4196468 140735383017744 140483793472528 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28782] ppid=28716 vsize=10993404 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28782/stat : 28782 (java) S 28716 28719 19746 0 -1 1077944384 100 12511 0 0 2 0 8 5 20 0 20 0 9896719 11257245696 70195 33554432000 4194304 4196468 140735383017744 140483792419984 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28783] ppid=28716 vsize=10993404 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28783/stat : 28783 (java) S 28716 28719 19746 0 -1 1077944384 2171 12511 0 0 4 0 8 5 20 0 20 0 9896722 11257245696 70195 33554432000 4194304 4196468 140735383017744 140483667888112 140484193352322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28784] ppid=28716 vsize=10993404 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28784/stat : 28784 (java) S 28716 28719 19746 0 -1 1077944384 56 12511 0 0 0 0 8 5 20 0 20 0 9896722 11257245696 70195 33554432000 4194304 4196468 140735383017744 140483666834400 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28785] ppid=28716 vsize=10993404 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28785/stat : 28785 (java) S 28716 28719 19746 0 -1 1077944384 43 12511 0 0 0 0 8 5 20 0 20 0 9896723 11257245696 70195 33554432000 4194304 4196468 140735383017744 140483665781760 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28786] ppid=28716 vsize=10993404 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28786/stat : 28786 (java) S 28716 28719 19746 0 -1 1077944384 1 12511 0 0 0 0 8 5 20 0 20 0 9896727 11257245696 70195 33554432000 4194304 4196468 140735383017744 140483664730320 140484193359771 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28787] ppid=28716 vsize=10993404 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28787/stat : 28787 (java) R 28716 28719 19746 0 -1 4202560 6085 12511 0 0 89 1 8 5 20 0 20 0 9896727 11257245696 70195 33554432000 4194304 4196468 140735383017744 140483663666080 140484176841601 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28788] ppid=28716 vsize=10993404 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28788/stat : 28788 (java) S 28716 28719 19746 0 -1 1077944384 955 12511 0 0 38 1 8 5 20 0 20 0 9896727 11257245696 70195 33554432000 4194304 4196468 140735383017744 140483662625392 140484193352322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28789] ppid=28716 vsize=10993404 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28789/stat : 28789 (java) R 28716 28719 19746 0 -1 4202560 3337 12511 0 0 67 1 8 5 20 0 20 0 9896727 11257245696 70195 33554432000 4194304 4196468 140735383017744 140483661554592 140484173195856 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28790] ppid=28716 vsize=10993404 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28790/stat : 28790 (java) R 28716 28719 19746 0 -1 4202560 3609 12511 0 0 91 1 8 5 20 0 20 0 9896727 11257245696 70195 33554432000 4194304 4196468 140735383017744 140483660520304 140484185578302 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28791] ppid=28716 vsize=10993404 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28791/stat : 28791 (java) S 28716 28719 19746 0 -1 1077944384 3 12511 0 0 0 0 8 5 20 0 20 0 9896727 11257245696 70195 33554432000 4194304 4196468 140735383017744 140483659466976 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28792] ppid=28716 vsize=10993404 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28792/stat : 28792 (java) S 28716 28719 19746 0 -1 1077944384 5 12511 0 0 0 0 8 5 20 0 20 0 9896728 11257245696 70195 33554432000 4194304 4196468 140735383017744 140483658414512 140484193352322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
Current children cumulated CPU time (s) 6.36
Current children cumulated vsize (KiB) 10993404

[startup+3.41185 s]
/proc/loadavg: 1.99 1.40 1.10 10/283 28792
/proc/meminfo: memFree=31125772/32770624 swapFree=5920/166116
[pid=28719] ppid=28716 vsize=11062016 CPUtime=7.4 cores=0,2,4,6,8,10,12,14
/proc/28719/stat : 28719 (java) S 28716 28719 19746 0 -1 1077944320 58873 12511 0 0 701 26 8 5 20 0 19 0 9896705 11327504384 70654 33554432000 4194304 4196468 140735383017744 140735383000288 140484193341175 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
/proc/28719/statm: 2765504 70654 3481 1 0 2753059 0
[pid=28719/tid=28774] ppid=28716 vsize=11062016 CPUtime=3.1 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28774/stat : 28774 (java) S 28716 28719 19746 0 -1 1077944384 39569 12511 0 0 286 11 8 5 20 0 19 0 9896718 11327504384 70654 33554432000 4194304 4196468 140735383017744 140484197584016 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28775] ppid=28716 vsize=11062016 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28775/stat : 28775 (java) S 28716 28719 19746 0 -1 1077944384 59 12511 0 0 13 1 8 5 20 0 19 0 9896719 11327504384 70654 33554432000 4194304 4196468 140735383017744 140484154300688 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28776] ppid=28716 vsize=11062016 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28776/stat : 28776 (java) S 28716 28719 19746 0 -1 1077944384 41 12511 0 0 14 0 8 5 20 0 19 0 9896719 11327504384 70654 33554432000 4194304 4196468 140735383017744 140483798735248 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28777] ppid=28716 vsize=11062016 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28777/stat : 28777 (java) S 28716 28719 19746 0 -1 1077944384 48 12511 0 0 13 1 8 5 20 0 19 0 9896719 11327504384 70654 33554432000 4194304 4196468 140735383017744 140483797682704 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28778] ppid=28716 vsize=11062016 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28778/stat : 28778 (java) S 28716 28719 19746 0 -1 1077944384 29 12511 0 0 13 0 8 5 20 0 19 0 9896719 11327504384 70654 33554432000 4194304 4196468 140735383017744 140483796630160 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28779] ppid=28716 vsize=11062016 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28779/stat : 28779 (java) S 28716 28719 19746 0 -1 1077944384 60 12511 0 0 12 1 8 5 20 0 19 0 9896719 11327504384 70654 33554432000 4194304 4196468 140735383017744 140483795577616 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28780] ppid=28716 vsize=11062016 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28780/stat : 28780 (java) S 28716 28719 19746 0 -1 1077944384 150 12511 0 0 14 1 8 5 20 0 19 0 9896719 11327504384 70654 33554432000 4194304 4196468 140735383017744 140483794525072 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28781] ppid=28716 vsize=11062016 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28781/stat : 28781 (java) S 28716 28719 19746 0 -1 1077944384 35 12511 0 0 13 0 8 5 20 0 19 0 9896719 11327504384 70654 33554432000 4194304 4196468 140735383017744 140483793472528 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28782] ppid=28716 vsize=11062016 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28782/stat : 28782 (java) S 28716 28719 19746 0 -1 1077944384 107 12511 0 0 14 1 8 5 20 0 19 0 9896719 11327504384 70654 33554432000 4194304 4196468 140735383017744 140483792419984 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28783] ppid=28716 vsize=11062016 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28783/stat : 28783 (java) S 28716 28719 19746 0 -1 1077944384 2183 12511 0 0 10 0 8 5 20 0 19 0 9896722 11327504384 70654 33554432000 4194304 4196468 140735383017744 140483667888320 140484193352322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28784] ppid=28716 vsize=11062016 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28784/stat : 28784 (java) S 28716 28719 19746 0 -1 1077944384 56 12511 0 0 0 0 8 5 20 0 19 0 9896722 11327504384 70654 33554432000 4194304 4196468 140735383017744 140483666834464 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28785] ppid=28716 vsize=11062016 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28785/stat : 28785 (java) S 28716 28719 19746 0 -1 1077944384 43 12511 0 0 0 0 8 5 20 0 19 0 9896723 11327504384 70654 33554432000 4194304 4196468 140735383017744 140483665781760 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28786] ppid=28716 vsize=11062016 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28786/stat : 28786 (java) S 28716 28719 19746 0 -1 1077944384 3 12511 0 0 0 0 8 5 20 0 19 0 9896727 11327504384 70654 33554432000 4194304 4196468 140735383017744 140483664729376 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28787] ppid=28716 vsize=11062016 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28787/stat : 28787 (java) S 28716 28719 19746 0 -1 1077944384 6172 12511 0 0 93 1 8 5 20 0 19 0 9896727 11327504384 70654 33554432000 4194304 4196468 140735383017744 140483663677936 140484193352322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28788] ppid=28716 vsize=11062016 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28788/stat : 28788 (java) S 28716 28719 19746 0 -1 1077944384 956 12511 0 0 39 1 8 5 20 0 19 0 9896727 11327504384 70654 33554432000 4194304 4196468 140735383017744 140483662609904 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28789] ppid=28716 vsize=11062016 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28789/stat : 28789 (java) R 28716 28719 19746 0 -1 4202560 3586 12511 0 0 69 1 8 5 20 0 19 0 9896727 11327504384 70654 33554432000 4194304 4196468 140735383017744 140483661558816 140484177247180 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28790] ppid=28716 vsize=11062016 CPUtime=1.05 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28790/stat : 28790 (java) S 28716 28719 19746 0 -1 1077944384 3615 12511 0 0 91 1 8 5 20 0 19 0 9896727 11327504384 70654 33554432000 4194304 4196468 140735383017744 140483660520304 140484193352322 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
[pid=28719/tid=28791] ppid=28716 vsize=11062016 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/28719/task/28791/stat : 28791 (java) S 28716 28719 19746 0 -1 1077944384 3 12511 0 0 0 0 8 5 20 0 19 0 9896727 11327504384 70654 33554432000 4194304 4196468 140735383017744 140483659466976 140484193351381 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34701312 140735383026369 140735383029143 140735383029143 140735383031759 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 11062016

Child status: 0
Real time (s): 3.4673
CPU time (s): 7.46287
CPU user time (s): 7.13011
CPU system time (s): 0.332761
CPU usage (%): 215.236
Max. virtual memory (cumulated for all children) (KiB): 11062016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.13011
system time used= 0.332761
maximum resident set size= 284080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71531
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7386
involuntary context switches= 1135

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029925 second user time and 0.044978 second system time

The end

Launcher Data 

Begin job on node106 at 2017-07-22 19:57:50
IDJOB=4248468
IDBENCH=133587
IDSOLVER=2630
FILE ID=node106/4248468-1500746270
RUNJOBID= node106-1500745995-28332
PBS_JOBID= 20623356
Free space on /tmp= 61936 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-02-0000.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248468-1500746270/watcher-4248468-1500746270 -o /tmp/evaluation-result-4248468-1500746270/solver-4248468-1500746270 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500745995-28332 --watchdog 2560  bin/concrete HOME/instance-4248468-1500746270.xml

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

MD5SUM BENCH= 8b819236af280311daec7c53b622bca4
RANDOM SEED=1656416700

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

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

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

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

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

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

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.15
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:        31594960 kB
MemAvailable:   31822484 kB
Buffers:          170348 kB
Cached:           329664 kB
SwapCached:            0 kB
Active:           503872 kB
Inactive:         220164 kB
Active(anon):     182036 kB
Inactive(anon):    54104 kB
Active(file):     321836 kB
Inactive(file):   166060 kB
Unevictable:        5920 kB
Mlocked:            5920 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             48776 kB
Writeback:             0 kB
AnonPages:        217816 kB
Mapped:            44500 kB
Shmem:              8852 kB
Slab:             145492 kB
SReclaimable:     110928 kB
SUnreclaim:        34564 kB
KernelStack:        4544 kB
PageTables:         5588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1075880 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     96256 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61912 MiB
End job on node106 at 2017-07-22 19:57:54