Trace number 4262434

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
Concrete 3.4UNSAT 13.9424 5.9246001

General information on the benchmark

NameMixed/Mixed-xcsp2-cril/
cril-5_X2.xml
MD5SUM9f1da41f530ff2c695c2aeb349644036
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.110852
Satisfiable
(Un)Satisfiability was proved
Number of variables42
Number of constraints861
Number of domains2
Minimum domain size9
Maximum domain size81
Distribution of domain sizes[{"size":9,"count":9},{"size":81,"count":33}]
Minimum variable degree41
Maximum variable degree41
Distribution of variable degrees[{"degree":41,"count":42}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":861}]
Number of extensional constraints861
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":861}]
Optimization problemNO
Type of objective

Solver Data 

3.25/2.17	c Concrete v3.4 running
13.66/5.90	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-4262434-1502427504/watcher-4262434-1502427504 -o /tmp/evaluation-result-4262434-1502427504/solver-4262434-1502427504 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502411410-19682 --watchdog 2580 bin/concrete HOME/instance-4262434-1502427504.xml 

pid=23319
running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.93 1.67 1.54 2/195 23322
/proc/meminfo: memFree=28619692/32770624 swapFree=0/538568
[pid=23322] ppid=23319 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/23322/stat : 23322 (runsolver) D 23319 23322 19618 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 44943922 24240128 108 18446744073709551615 4194304 4338465 140727256181952 140727256179592 139658937701079 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 19161088 140727256187088 140727256187465 140727256187465 140727256190922 0
/proc/23322/statm: 5918 108 54 36 0 2156 0

[startup+0.100034 s]
/proc/loadavg: 1.93 1.67 1.54 2/195 23322
/proc/meminfo: memFree=28619692/32770624 swapFree=0/538568
[pid=23322] ppid=23319 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/23322/stat : 23322 (bash) S 23319 23322 19618 0 -1 4202496 856 6168 0 0 0 0 0 1 20 0 1 0 44943922 9867264 366 18446744073709551615 4194304 5098028 140735541885168 140735541878904 140001324231680 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 8 0 0 7196144 7232144 23867392 140735541891604 140735541891689 140735541891689 140735541895146 0
/proc/23322/statm: 2409 366 287 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.200228 s]
/proc/loadavg: 1.93 1.67 1.54 2/195 23322
/proc/meminfo: memFree=28619692/32770624 swapFree=0/538568
[pid=23322] ppid=23319 vsize=356956 CPUtime=0.08 cores=1,3,5,7
/proc/23322/stat : 23322 (java) S 23319 23322 19618 0 -1 1077944320 2553 12735 0 0 0 0 5 3 20 0 2 0 44943922 365522944 1370 18446744073709551615 4194304 4196468 140734901501920 140734901484464 139811330277111 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
/proc/23322/statm: 89239 1370 1036 1 0 79209 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 356956

[startup+0.300266 s]
/proc/loadavg: 1.93 1.67 1.54 2/195 23322
/proc/meminfo: memFree=28619692/32770624 swapFree=0/538568
[pid=23322] ppid=23319 vsize=13974356 CPUtime=0.17 cores=1,3,5,7
/proc/23322/stat : 23322 (java) S 23319 23322 19618 0 -1 1077944320 6366 12735 0 0 8 1 5 3 20 0 15 0 44943922 14309740544 6953 18446744073709551615 4194304 4196468 140734901501920 140734901484464 139811330277111 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
/proc/23322/statm: 3493589 6953 2773 1 0 3482965 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 13974356

[startup+0.700299 s]
/proc/loadavg: 1.93 1.67 1.54 2/195 23322
/proc/meminfo: memFree=28619692/32770624 swapFree=0/538568
[pid=23322] ppid=23319 vsize=13974784 CPUtime=0.73 cores=1,3,5,7
/proc/23322/stat : 23322 (java) S 23319 23322 19618 0 -1 1077944320 14072 12735 0 0 60 5 5 3 20 0 15 0 44943922 14310178816 15012 18446744073709551615 4194304 4196468 140734901501920 140734901484464 139811330277111 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
/proc/23322/statm: 3493696 15012 3118 1 0 3482965 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 13974784

[startup+1.5015 s]
/proc/loadavg: 2.10 1.71 1.55 3/210 23385
/proc/meminfo: memFree=28521668/32770624 swapFree=0/538900
[pid=23322] ppid=23319 vsize=13985408 CPUtime=1.95 cores=1,3,5,7
/proc/23322/stat : 23322 (java) S 23319 23322 19618 0 -1 1077944320 32455 12735 0 0 177 10 5 3 20 0 15 0 44943922 14321057792 42704 18446744073709551615 4194304 4196468 140734901501920 140734901484464 139811330277111 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
/proc/23322/statm: 3496352 42704 3372 1 0 3485525 0
[pid=23322/tid=23372] ppid=23319 vsize=13985408 CPUtime=1.3 cores=1,3,5,7
/proc/23322/task/23372/stat : 23372 (java) R 23319 23322 19618 0 -1 4202560 24835 12735 0 0 115 7 5 3 20 0 15 0 44943942 14321057792 42704 18446744073709551615 4194304 4196468 140734901501920 139811334505984 139811314357598 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23373] ppid=23319 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/23322/task/23373/stat : 23373 (java) S 23319 23322 19618 0 -1 1077944384 70 12735 0 0 1 0 5 3 20 0 15 0 44943943 14321057792 42704 18446744073709551615 4194304 4196468 140734901501920 139811264711568 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23374] ppid=23319 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/23322/task/23374/stat : 23374 (java) S 23319 23322 19618 0 -1 1077944384 211 12735 0 0 1 0 5 3 20 0 15 0 44943943 14321057792 42704 18446744073709551615 4194304 4196468 140734901501920 139811263658768 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23375] ppid=23319 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/23322/task/23375/stat : 23375 (java) S 23319 23322 19618 0 -1 1077944384 55 12735 0 0 1 0 5 3 20 0 15 0 44943943 14321057792 42704 18446744073709551615 4194304 4196468 140734901501920 139811262606480 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23376] ppid=23319 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/23322/task/23376/stat : 23376 (java) S 23319 23322 19618 0 -1 1077944384 42 12735 0 0 1 0 5 3 20 0 15 0 44943943 14321057792 42704 18446744073709551615 4194304 4196468 140734901501920 139811261553680 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23377] ppid=23319 vsize=13985408 CPUtime=0.09 cores=1,3,5,7
/proc/23322/task/23377/stat : 23377 (java) S 23319 23322 19618 0 -1 1077944384 1867 12735 0 0 1 0 5 3 20 0 15 0 44943944 14321057792 42704 18446744073709551615 4194304 4196468 140734901501920 139810808899696 139811330288258 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23378] ppid=23319 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23378/stat : 23378 (java) S 23319 23322 19618 0 -1 1077944384 56 12735 0 0 0 0 5 3 20 0 15 0 44943944 14321057792 42704 18446744073709551615 4194304 4196468 140734901501920 139810807845664 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23379] ppid=23319 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23379/stat : 23379 (java) S 23319 23322 19618 0 -1 1077944384 43 12735 0 0 0 0 5 3 20 0 15 0 44943945 14321057792 42704 18446744073709551615 4194304 4196468 140734901501920 139810806793328 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23380] ppid=23319 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23380/stat : 23380 (java) S 23319 23322 19618 0 -1 1077944384 3 12735 0 0 0 0 5 3 20 0 15 0 44943947 14321057792 42704 18446744073709551615 4194304 4196468 140734901501920 139810805741648 139811330295707 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23381] ppid=23319 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/23322/task/23381/stat : 23381 (java) S 23319 23322 19618 0 -1 1077944384 746 12735 0 0 13 0 5 3 20 0 15 0 44943947 14321057792 42704 18446744073709551615 4194304 4196468 140734901501920 139810804689520 139811330288258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23382] ppid=23319 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/23322/task/23382/stat : 23382 (java) S 23319 23322 19618 0 -1 1077944384 942 12735 0 0 16 0 5 3 20 0 15 0 44943947 14321057792 42704 18446744073709551615 4194304 4196468 140734901501920 139810803636720 139811330288258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23383] ppid=23319 vsize=13985408 CPUtime=0.32 cores=1,3,5,7
/proc/23322/task/23383/stat : 23383 (java) S 23319 23322 19618 0 -1 1077944384 1423 12735 0 0 24 0 5 3 20 0 15 0 44943947 14321057792 42704 18446744073709551615 4194304 4196468 140734901501920 139810802584432 139811330288258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23384] ppid=23319 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23384/stat : 23384 (java) S 23319 23322 19618 0 -1 1077944384 3 12735 0 0 0 0 5 3 20 0 15 0 44943948 14321057792 42704 18446744073709551615 4194304 4196468 140734901501920 139810801531872 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23385] ppid=23319 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23385/stat : 23385 (java) S 23319 23322 19618 0 -1 1077944384 6 12735 0 0 0 0 5 3 20 0 15 0 44943950 14321057792 42704 18446744073709551615 4194304 4196468 140734901501920 139810800478640 139811330288258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
Current children cumulated CPU time (s) 1.95
Current children cumulated vsize (KiB) 13985408

[startup+3.10071 s]
/proc/loadavg: 2.10 1.71 1.55 4/210 23385
/proc/meminfo: memFree=28446236/32770624 swapFree=0/538896
[pid=23322] ppid=23319 vsize=13997884 CPUtime=5.62 cores=1,3,5,7
/proc/23322/stat : 23322 (java) S 23319 23322 19618 0 -1 1077944320 49768 12735 0 0 538 16 5 3 20 0 15 0 44943922 14333833216 56441 18446744073709551615 4194304 4196468 140734901501920 140734901484464 139811330277111 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
/proc/23322/statm: 3499471 56441 3443 1 0 3488085 0
[pid=23322/tid=23372] ppid=23319 vsize=13997884 CPUtime=2.9 cores=1,3,5,7
/proc/23322/task/23372/stat : 23372 (java) R 23319 23322 19618 0 -1 4202560 37248 12735 0 0 271 11 5 3 20 0 15 0 44943942 14333833216 56441 18446744073709551615 4194304 4196468 140734901501920 139811334510160 139811314357598 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23373] ppid=23319 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/23322/task/23373/stat : 23373 (java) S 23319 23322 19618 0 -1 1077944384 70 12735 0 0 1 0 5 3 20 0 15 0 44943943 14333833216 56441 18446744073709551615 4194304 4196468 140734901501920 139811264711568 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23374] ppid=23319 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/23322/task/23374/stat : 23374 (java) S 23319 23322 19618 0 -1 1077944384 211 12735 0 0 1 0 5 3 20 0 15 0 44943943 14333833216 56441 18446744073709551615 4194304 4196468 140734901501920 139811263658768 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23375] ppid=23319 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/23322/task/23375/stat : 23375 (java) S 23319 23322 19618 0 -1 1077944384 55 12735 0 0 1 0 5 3 20 0 15 0 44943943 14333833216 56441 18446744073709551615 4194304 4196468 140734901501920 139811262606480 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23376] ppid=23319 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/23322/task/23376/stat : 23376 (java) S 23319 23322 19618 0 -1 1077944384 42 12735 0 0 1 0 5 3 20 0 15 0 44943943 14333833216 56441 18446744073709551615 4194304 4196468 140734901501920 139811261553680 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23377] ppid=23319 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/23322/task/23377/stat : 23377 (java) S 23319 23322 19618 0 -1 1077944384 1895 12735 0 0 1 0 5 3 20 0 15 0 44943944 14333833216 56441 18446744073709551615 4194304 4196468 140734901501920 139810808899696 139811330288258 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23378] ppid=23319 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23378/stat : 23378 (java) S 23319 23322 19618 0 -1 1077944384 56 12735 0 0 0 0 5 3 20 0 15 0 44943944 14333833216 56441 18446744073709551615 4194304 4196468 140734901501920 139810807845664 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23379] ppid=23319 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23379/stat : 23379 (java) S 23319 23322 19618 0 -1 1077944384 43 12735 0 0 0 0 5 3 20 0 15 0 44943945 14333833216 56441 18446744073709551615 4194304 4196468 140734901501920 139810806793328 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23380] ppid=23319 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23380/stat : 23380 (java) S 23319 23322 19618 0 -1 1077944384 3 12735 0 0 0 0 5 3 20 0 15 0 44943947 14333833216 56441 18446744073709551615 4194304 4196468 140734901501920 139810805741648 139811330295707 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23381] ppid=23319 vsize=13997884 CPUtime=0.99 cores=1,3,5,7
/proc/23322/task/23381/stat : 23381 (java) S 23319 23322 19618 0 -1 1077944384 2853 12735 0 0 91 0 5 3 20 0 15 0 44943947 14333833216 56441 18446744073709551615 4194304 4196468 140734901501920 139810804689520 139811330288258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23382] ppid=23319 vsize=13997884 CPUtime=0.74 cores=1,3,5,7
/proc/23322/task/23382/stat : 23382 (java) S 23319 23322 19618 0 -1 1077944384 1459 12735 0 0 65 1 5 3 20 0 15 0 44943947 14333833216 56441 18446744073709551615 4194304 4196468 140734901501920 139810803636720 139811330288258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23383] ppid=23319 vsize=13997884 CPUtime=1.1 cores=1,3,5,7
/proc/23322/task/23383/stat : 23383 (java) R 23319 23322 19618 0 -1 4202560 3671 12735 0 0 101 1 5 3 20 0 15 0 44943947 14333833216 56441 18446744073709551615 4194304 4196468 140734901501920 139810802581224 139811313673326 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23384] ppid=23319 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23384/stat : 23384 (java) S 23319 23322 19618 0 -1 1077944384 3 12735 0 0 0 0 5 3 20 0 15 0 44943948 14333833216 56441 18446744073709551615 4194304 4196468 140734901501920 139810801531872 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23385] ppid=23319 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23385/stat : 23385 (java) S 23319 23322 19618 0 -1 1077944384 9 12735 0 0 0 0 5 3 20 0 15 0 44943950 14333833216 56441 18446744073709551615 4194304 4196468 140734901501920 139810800478640 139811330288258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
Current children cumulated CPU time (s) 5.62
Current children cumulated vsize (KiB) 13997884

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

[startup+3.20094 s]
/proc/loadavg: 2.10 1.71 1.55 4/210 23385
/proc/meminfo: memFree=28446236/32770624 swapFree=0/538896
[pid=23322] ppid=23319 vsize=13999932 CPUtime=5.89 cores=1,3,5,7
/proc/23322/stat : 23322 (java) S 23319 23322 19618 0 -1 1077944320 50664 12735 0 0 565 16 5 3 20 0 15 0 44943922 14335930368 58424 18446744073709551615 4194304 4196468 140734901501920 140734901484464 139811330277111 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
/proc/23322/statm: 3499983 58424 3444 1 0 3488597 0
[pid=23322/tid=23372] ppid=23319 vsize=13999932 CPUtime=3 cores=1,3,5,7
/proc/23322/task/23372/stat : 23372 (java) R 23319 23322 19618 0 -1 4202560 37428 12735 0 0 281 11 5 3 20 0 15 0 44943942 14335930368 58424 18446744073709551615 4194304 4196468 140734901501920 139811334508816 139811330289046 0 4 1 16800974 0 0 0 -1 5 0 0 2 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23373] ppid=23319 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/23322/task/23373/stat : 23373 (java) S 23319 23322 19618 0 -1 1077944384 70 12735 0 0 1 0 5 3 20 0 15 0 44943943 14335930368 58424 18446744073709551615 4194304 4196468 140734901501920 139811264711568 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23374] ppid=23319 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/23322/task/23374/stat : 23374 (java) S 23319 23322 19618 0 -1 1077944384 211 12735 0 0 1 0 5 3 20 0 15 0 44943943 14335930368 58424 18446744073709551615 4194304 4196468 140734901501920 139811263658768 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23375] ppid=23319 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/23322/task/23375/stat : 23375 (java) S 23319 23322 19618 0 -1 1077944384 55 12735 0 0 1 0 5 3 20 0 15 0 44943943 14335930368 58424 18446744073709551615 4194304 4196468 140734901501920 139811262606480 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23376] ppid=23319 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/23322/task/23376/stat : 23376 (java) S 23319 23322 19618 0 -1 1077944384 42 12735 0 0 1 0 5 3 20 0 15 0 44943943 14335930368 58424 18446744073709551615 4194304 4196468 140734901501920 139811261553680 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23377] ppid=23319 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/23322/task/23377/stat : 23377 (java) S 23319 23322 19618 0 -1 1077944384 1895 12735 0 0 1 0 5 3 20 0 15 0 44943944 14335930368 58424 18446744073709551615 4194304 4196468 140734901501920 139810808899696 139811330288258 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23378] ppid=23319 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23378/stat : 23378 (java) S 23319 23322 19618 0 -1 1077944384 56 12735 0 0 0 0 5 3 20 0 15 0 44943944 14335930368 58424 18446744073709551615 4194304 4196468 140734901501920 139810807845664 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23379] ppid=23319 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23379/stat : 23379 (java) S 23319 23322 19618 0 -1 1077944384 43 12735 0 0 0 0 5 3 20 0 15 0 44943945 14335930368 58424 18446744073709551615 4194304 4196468 140734901501920 139810806793328 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23380] ppid=23319 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23380/stat : 23380 (java) S 23319 23322 19618 0 -1 1077944384 3 12735 0 0 0 0 5 3 20 0 15 0 44943947 14335930368 58424 18446744073709551615 4194304 4196468 140734901501920 139810805741648 139811330295707 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23381] ppid=23319 vsize=13999932 CPUtime=1.04 cores=1,3,5,7
/proc/23322/task/23381/stat : 23381 (java) R 23319 23322 19618 0 -1 4202560 2875 12735 0 0 96 0 5 3 20 0 15 0 44943947 14335930368 58424 18446744073709551615 4194304 4196468 140734901501920 139810804675616 139811322566565 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23382] ppid=23319 vsize=13999932 CPUtime=0.8 cores=1,3,5,7
/proc/23322/task/23382/stat : 23382 (java) S 23319 23322 19618 0 -1 1077944384 1496 12735 0 0 71 1 5 3 20 0 15 0 44943947 14335930368 58424 18446744073709551615 4194304 4196468 140734901501920 139810803636720 139811330288258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23383] ppid=23319 vsize=13999932 CPUtime=1.18 cores=1,3,5,7
/proc/23322/task/23383/stat : 23383 (java) R 23319 23322 19618 0 -1 4202560 4325 12735 0 0 109 1 5 3 20 0 15 0 44943947 14335930368 58424 18446744073709551615 4194304 4196468 140734901501920 139810802584432 139811309215914 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23384] ppid=23319 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23384/stat : 23384 (java) S 23319 23322 19618 0 -1 1077944384 3 12735 0 0 0 0 5 3 20 0 15 0 44943948 14335930368 58424 18446744073709551615 4194304 4196468 140734901501920 139810801531872 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23385] ppid=23319 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23385/stat : 23385 (java) S 23319 23322 19618 0 -1 1077944384 9 12735 0 0 0 0 5 3 20 0 15 0 44943950 14335930368 58424 18446744073709551615 4194304 4196468 140734901501920 139810800478640 139811330288258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 13999932

[startup+4.80096 s]
/proc/loadavg: 2.10 1.71 1.55 5/210 23385
/proc/meminfo: memFree=28317756/32770624 swapFree=0/538892
[pid=23322] ppid=23319 vsize=14067516 CPUtime=10.72 cores=1,3,5,7
/proc/23322/stat : 23322 (java) S 23319 23322 19618 0 -1 1077944320 64612 12735 0 0 1045 19 5 3 20 0 15 0 44943922 14405136384 85473 18446744073709551615 4194304 4196468 140734901501920 140734901484464 139811330277111 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
/proc/23322/statm: 3516879 85473 3462 1 0 3505493 0
[pid=23322/tid=23372] ppid=23319 vsize=14067516 CPUtime=4.52 cores=1,3,5,7
/proc/23322/task/23372/stat : 23372 (java) R 23319 23322 19618 0 -1 4202560 45287 12735 0 0 432 12 5 3 20 0 15 0 44943942 14405136384 85473 18446744073709551615 4194304 4196468 140734901501920 139811334508376 139810947132897 0 4 1 16800974 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23373] ppid=23319 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/23322/task/23373/stat : 23373 (java) S 23319 23322 19618 0 -1 1077944384 98 12735 0 0 4 0 5 3 20 0 15 0 44943943 14405136384 85473 18446744073709551615 4194304 4196468 140734901501920 139811264711568 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23374] ppid=23319 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/23322/task/23374/stat : 23374 (java) S 23319 23322 19618 0 -1 1077944384 219 12735 0 0 2 0 5 3 20 0 15 0 44943943 14405136384 85473 18446744073709551615 4194304 4196468 140734901501920 139811263658768 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23375] ppid=23319 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/23322/task/23375/stat : 23375 (java) S 23319 23322 19618 0 -1 1077944384 77 12735 0 0 3 0 5 3 20 0 15 0 44943943 14405136384 85473 18446744073709551615 4194304 4196468 140734901501920 139811262606480 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23376] ppid=23319 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/23322/task/23376/stat : 23376 (java) S 23319 23322 19618 0 -1 1077944384 73 12735 0 0 3 0 5 3 20 0 15 0 44943943 14405136384 85473 18446744073709551615 4194304 4196468 140734901501920 139811261553680 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23377] ppid=23319 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/23322/task/23377/stat : 23377 (java) S 23319 23322 19618 0 -1 1077944384 2061 12735 0 0 3 0 5 3 20 0 15 0 44943944 14405136384 85473 18446744073709551615 4194304 4196468 140734901501920 139810808899696 139811330288258 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23378] ppid=23319 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23378/stat : 23378 (java) S 23319 23322 19618 0 -1 1077944384 56 12735 0 0 0 0 5 3 20 0 15 0 44943944 14405136384 85473 18446744073709551615 4194304 4196468 140734901501920 139810807845728 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23379] ppid=23319 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23379/stat : 23379 (java) S 23319 23322 19618 0 -1 1077944384 43 12735 0 0 0 0 5 3 20 0 15 0 44943945 14405136384 85473 18446744073709551615 4194304 4196468 140734901501920 139810806793344 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23380] ppid=23319 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23380/stat : 23380 (java) S 23319 23322 19618 0 -1 1077944384 3 12735 0 0 0 0 5 3 20 0 15 0 44943947 14405136384 85473 18446744073709551615 4194304 4196468 140734901501920 139810805741648 139811330295707 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23381] ppid=23319 vsize=14067516 CPUtime=2.44 cores=1,3,5,7
/proc/23322/task/23381/stat : 23381 (java) R 23319 23322 19618 0 -1 4202560 4911 12735 0 0 236 0 5 3 20 0 15 0 44943947 14405136384 85473 18446744073709551615 4194304 4196468 140734901501920 139810804676528 139811310913025 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23382] ppid=23319 vsize=14067516 CPUtime=2.22 cores=1,3,5,7
/proc/23322/task/23382/stat : 23382 (java) R 23319 23322 19618 0 -1 4202560 3752 12735 0 0 213 1 5 3 20 0 15 0 44943947 14405136384 85473 18446744073709551615 4194304 4196468 140734901501920 139810803625392 139811314941088 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23383] ppid=23319 vsize=14067516 CPUtime=1.53 cores=1,3,5,7
/proc/23322/task/23383/stat : 23383 (java) S 23319 23322 19618 0 -1 1077944384 5866 12735 0 0 143 2 5 3 20 0 15 0 44943947 14405136384 85473 18446744073709551615 4194304 4196468 140734901501920 139810802584432 139811330288258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23384] ppid=23319 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23384/stat : 23384 (java) S 23319 23322 19618 0 -1 1077944384 3 12735 0 0 0 0 5 3 20 0 15 0 44943948 14405136384 85473 18446744073709551615 4194304 4196468 140734901501920 139810801531872 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23385] ppid=23319 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23385/stat : 23385 (java) S 23319 23322 19618 0 -1 1077944384 10 12735 0 0 0 0 5 3 20 0 15 0 44943950 14405136384 85473 18446744073709551615 4194304 4196468 140734901501920 139810800478640 139811330288258 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
Current children cumulated CPU time (s) 10.72
Current children cumulated vsize (KiB) 14067516

[startup+5.60645 s]
/proc/loadavg: 2.10 1.71 1.55 6/210 23385
/proc/meminfo: memFree=28246520/32770624 swapFree=0/538888
[pid=23322] ppid=23319 vsize=14067516 CPUtime=13.21 cores=1,3,5,7
/proc/23322/stat : 23322 (java) S 23319 23322 19618 0 -1 1077944320 68354 12735 0 0 1292 21 5 3 20 0 15 0 44943922 14405136384 96355 18446744073709551615 4194304 4196468 140734901501920 140734901484464 139811330277111 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
/proc/23322/statm: 3516879 96355 3464 1 0 3505493 0
[pid=23322/tid=23372] ppid=23319 vsize=14067516 CPUtime=5.31 cores=1,3,5,7
/proc/23322/task/23372/stat : 23372 (java) R 23319 23322 19618 0 -1 4202560 45481 12735 0 0 510 13 5 3 20 0 15 0 44943942 14405136384 96355 18446744073709551615 4194304 4196468 140734901501920 139811334510352 139811330289046 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23373] ppid=23319 vsize=14067516 CPUtime=0.13 cores=1,3,5,7
/proc/23322/task/23373/stat : 23373 (java) S 23319 23322 19618 0 -1 1077944384 520 12735 0 0 5 0 5 3 20 0 15 0 44943943 14405136384 96355 18446744073709551615 4194304 4196468 140734901501920 139811264711568 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23374] ppid=23319 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/23322/task/23374/stat : 23374 (java) S 23319 23322 19618 0 -1 1077944384 226 12735 0 0 3 0 5 3 20 0 15 0 44943943 14405136384 96355 18446744073709551615 4194304 4196468 140734901501920 139811263658768 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23375] ppid=23319 vsize=14067516 CPUtime=0.12 cores=1,3,5,7
/proc/23322/task/23375/stat : 23375 (java) S 23319 23322 19618 0 -1 1077944384 86 12735 0 0 4 0 5 3 20 0 15 0 44943943 14405136384 96355 18446744073709551615 4194304 4196468 140734901501920 139811262606480 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23376] ppid=23319 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/23322/task/23376/stat : 23376 (java) S 23319 23322 19618 0 -1 1077944384 73 12735 0 0 3 0 5 3 20 0 15 0 44943943 14405136384 96355 18446744073709551615 4194304 4196468 140734901501920 139811261553680 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23377] ppid=23319 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/23322/task/23377/stat : 23377 (java) S 23319 23322 19618 0 -1 1077944384 2095 12735 0 0 3 0 5 3 20 0 15 0 44943944 14405136384 96355 18446744073709551615 4194304 4196468 140734901501920 139810808899696 139811330288258 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23378] ppid=23319 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23378/stat : 23378 (java) S 23319 23322 19618 0 -1 1077944384 56 12735 0 0 0 0 5 3 20 0 15 0 44943944 14405136384 96355 18446744073709551615 4194304 4196468 140734901501920 139810807845728 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23379] ppid=23319 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23379/stat : 23379 (java) S 23319 23322 19618 0 -1 1077944384 43 12735 0 0 0 0 5 3 20 0 15 0 44943945 14405136384 96355 18446744073709551615 4194304 4196468 140734901501920 139810806793344 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23380] ppid=23319 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23380/stat : 23380 (java) S 23319 23322 19618 0 -1 1077944384 3 12735 0 0 0 0 5 3 20 0 15 0 44943947 14405136384 96355 18446744073709551615 4194304 4196468 140734901501920 139810805741648 139811330295707 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23381] ppid=23319 vsize=14067516 CPUtime=3.21 cores=1,3,5,7
/proc/23322/task/23381/stat : 23381 (java) S 23319 23322 19618 0 -1 1077944384 6666 12735 0 0 313 0 5 3 20 0 15 0 44943947 14405136384 96355 18446744073709551615 4194304 4196468 140734901501920 139810804689520 139811330288258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23382] ppid=23319 vsize=14067516 CPUtime=2.99 cores=1,3,5,7
/proc/23322/task/23382/stat : 23382 (java) S 23319 23322 19618 0 -1 1077944384 4779 12735 0 0 290 1 5 3 20 0 15 0 44943947 14405136384 96355 18446744073709551615 4194304 4196468 140734901501920 139810803636720 139811330288258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23383] ppid=23319 vsize=14067516 CPUtime=1.65 cores=1,3,5,7
/proc/23322/task/23383/stat : 23383 (java) R 23319 23322 19618 0 -1 4202560 6160 12735 0 0 155 2 5 3 20 0 15 0 44943947 14405136384 96355 18446744073709551615 4194304 4196468 140734901501920 139810802584432 139811330298458 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23384] ppid=23319 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23384/stat : 23384 (java) S 23319 23322 19618 0 -1 1077944384 3 12735 0 0 0 0 5 3 20 0 15 0 44943948 14405136384 96355 18446744073709551615 4194304 4196468 140734901501920 139810801531872 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23385] ppid=23319 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23385/stat : 23385 (java) S 23319 23322 19618 0 -1 1077944384 10 12735 0 0 0 0 5 3 20 0 15 0 44943950 14405136384 96355 18446744073709551615 4194304 4196468 140734901501920 139810800478640 139811330288258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
Current children cumulated CPU time (s) 13.21
Current children cumulated vsize (KiB) 14067516

[startup+5.801 s]
/proc/loadavg: 2.10 1.71 1.55 6/210 23385
/proc/meminfo: memFree=28246520/32770624 swapFree=0/538888
[pid=23322] ppid=23319 vsize=14067516 CPUtime=13.66 cores=1,3,5,7
/proc/23322/stat : 23322 (java) S 23319 23322 19618 0 -1 1077944320 69286 12735 0 0 1335 23 5 3 20 0 15 0 44943922 14405136384 99992 18446744073709551615 4194304 4196468 140734901501920 140734901484464 139811330277111 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
/proc/23322/statm: 3516879 99992 3464 1 0 3505493 0
[pid=23322/tid=23372] ppid=23319 vsize=14067516 CPUtime=5.39 cores=1,3,5,7
/proc/23322/task/23372/stat : 23372 (java) S 23319 23322 19618 0 -1 1077944384 45488 12735 0 0 518 13 5 3 20 0 15 0 44943942 14405136384 99992 18446744073709551615 4194304 4196468 140734901501920 139811334514656 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23373] ppid=23319 vsize=14067516 CPUtime=0.19 cores=1,3,5,7
/proc/23322/task/23373/stat : 23373 (java) R 23319 23322 19618 0 -1 4202560 538 12735 0 0 11 0 5 3 20 0 15 0 44943943 14405136384 99992 18446744073709551615 4194304 4196468 140734901501920 139811264711568 139811330289046 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23374] ppid=23319 vsize=14067516 CPUtime=0.18 cores=1,3,5,7
/proc/23322/task/23374/stat : 23374 (java) R 23319 23322 19618 0 -1 4202560 236 12735 0 0 9 1 5 3 20 0 15 0 44943943 14405136384 99992 18446744073709551615 4194304 4196468 140734901501920 139811263658768 139811330289046 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23375] ppid=23319 vsize=14067516 CPUtime=0.18 cores=1,3,5,7
/proc/23322/task/23375/stat : 23375 (java) R 23319 23322 19618 0 -1 4202560 97 12735 0 0 10 0 5 3 20 0 15 0 44943943 14405136384 99992 18446744073709551615 4194304 4196468 140734901501920 139811262606480 139811330289046 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23376] ppid=23319 vsize=14067516 CPUtime=0.18 cores=1,3,5,7
/proc/23322/task/23376/stat : 23376 (java) R 23319 23322 19618 0 -1 1077944384 124 12735 0 0 10 0 5 3 20 0 15 0 44943943 14405136384 99992 18446744073709551615 4194304 4196468 140734901501920 139811261553680 139811330287317 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23377] ppid=23319 vsize=14067516 CPUtime=0.15 cores=1,3,5,7
/proc/23322/task/23377/stat : 23377 (java) S 23319 23322 19618 0 -1 1077944384 2897 12735 0 0 7 0 5 3 20 0 15 0 44943944 14405136384 99992 18446744073709551615 4194304 4196468 140734901501920 139810808898096 139811330287317 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23378] ppid=23319 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23378/stat : 23378 (java) S 23319 23322 19618 0 -1 1077944384 56 12735 0 0 0 0 5 3 20 0 15 0 44943944 14405136384 99992 18446744073709551615 4194304 4196468 140734901501920 139810807845632 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23379] ppid=23319 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23379/stat : 23379 (java) S 23319 23322 19618 0 -1 1077944384 43 12735 0 0 0 0 5 3 20 0 15 0 44943945 14405136384 99992 18446744073709551615 4194304 4196468 140734901501920 139810806793344 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23380] ppid=23319 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23380/stat : 23380 (java) S 23319 23322 19618 0 -1 1077944384 3 12735 0 0 0 0 5 3 20 0 15 0 44943947 14405136384 99992 18446744073709551615 4194304 4196468 140734901501920 139810805741648 139811330295707 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23381] ppid=23319 vsize=14067516 CPUtime=3.23 cores=1,3,5,7
/proc/23322/task/23381/stat : 23381 (java) S 23319 23322 19618 0 -1 1077944384 6671 12735 0 0 315 0 5 3 20 0 15 0 44943947 14405136384 99992 18446744073709551615 4194304 4196468 140734901501920 139810804676176 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23382] ppid=23319 vsize=14067516 CPUtime=3 cores=1,3,5,7
/proc/23322/task/23382/stat : 23382 (java) S 23319 23322 19618 0 -1 1077944384 4787 12735 0 0 291 1 5 3 20 0 15 0 44943947 14405136384 99992 18446744073709551615 4194304 4196468 140734901501920 139810803621712 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23383] ppid=23319 vsize=14067516 CPUtime=1.67 cores=1,3,5,7
/proc/23322/task/23383/stat : 23383 (java) S 23319 23322 19618 0 -1 1077944384 6180 12735 0 0 157 2 5 3 20 0 15 0 44943947 14405136384 99992 18446744073709551615 4194304 4196468 140734901501920 139810802578752 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23384] ppid=23319 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23384/stat : 23384 (java) S 23319 23322 19618 0 -1 1077944384 3 12735 0 0 0 0 5 3 20 0 15 0 44943948 14405136384 99992 18446744073709551615 4194304 4196468 140734901501920 139810801531872 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23385] ppid=23319 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23385/stat : 23385 (java) S 23319 23322 19618 0 -1 1077944384 10 12735 0 0 0 0 5 3 20 0 15 0 44943950 14405136384 99992 18446744073709551615 4194304 4196468 140734901501920 139810800478640 139811330288258 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
Current children cumulated CPU time (s) 13.66
Current children cumulated vsize (KiB) 14067516

[startup+5.90333 s]
/proc/loadavg: 2.10 1.71 1.55 6/210 23385
/proc/meminfo: memFree=28246520/32770624 swapFree=0/538888
[pid=23322] ppid=23319 vsize=14134080 CPUtime=13.92 cores=1,3,5,7
/proc/23322/stat : 23322 (java) S 23319 23322 19618 0 -1 1077944320 69391 12735 0 0 1361 23 5 3 20 0 14 0 44943922 14473297920 100070 18446744073709551615 4194304 4196468 140734901501920 140734901484464 139811330277111 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 8 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
/proc/23322/statm: 3533520 100070 3469 1 0 3522134 0
[pid=23322/tid=23372] ppid=23319 vsize=14134080 CPUtime=5.4 cores=1,3,5,7
/proc/23322/task/23372/stat : 23372 (java) S 23319 23322 19618 0 -1 1077944384 45526 12735 0 0 519 13 5 3 20 0 14 0 44943942 14473297920 100070 18446744073709551615 4194304 4196468 140734901501920 139811334519952 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23373] ppid=23319 vsize=14134080 CPUtime=0.23 cores=1,3,5,7
/proc/23322/task/23373/stat : 23373 (java) S 23319 23322 19618 0 -1 1077944384 540 12735 0 0 15 0 5 3 20 0 14 0 44943943 14473297920 100070 18446744073709551615 4194304 4196468 140734901501920 139811264711568 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23374] ppid=23319 vsize=14134080 CPUtime=0.23 cores=1,3,5,7
/proc/23322/task/23374/stat : 23374 (java) S 23319 23322 19618 0 -1 1077944384 239 12735 0 0 14 1 5 3 20 0 14 0 44943943 14473297920 100070 18446744073709551615 4194304 4196468 140734901501920 139811263658768 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23375] ppid=23319 vsize=14134080 CPUtime=0.23 cores=1,3,5,7
/proc/23322/task/23375/stat : 23375 (java) S 23319 23322 19618 0 -1 1077944384 98 12735 0 0 15 0 5 3 20 0 14 0 44943943 14473297920 100070 18446744073709551615 4194304 4196468 140734901501920 139811262606480 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23376] ppid=23319 vsize=14134080 CPUtime=0.23 cores=1,3,5,7
/proc/23322/task/23376/stat : 23376 (java) S 23319 23322 19618 0 -1 1077944384 127 12735 0 0 15 0 5 3 20 0 14 0 44943943 14473297920 100070 18446744073709551615 4194304 4196468 140734901501920 139811261553680 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23377] ppid=23319 vsize=14134080 CPUtime=0.2 cores=1,3,5,7
/proc/23322/task/23377/stat : 23377 (java) S 23319 23322 19618 0 -1 1077944384 2897 12735 0 0 12 0 5 3 20 0 14 0 44943944 14473297920 100070 18446744073709551615 4194304 4196468 140734901501920 139810808899904 139811330288258 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23378] ppid=23319 vsize=14134080 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23378/stat : 23378 (java) S 23319 23322 19618 0 -1 1077944384 57 12735 0 0 0 0 5 3 20 0 14 0 44943944 14473297920 100070 18446744073709551615 4194304 4196468 140734901501920 139810807845728 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23379] ppid=23319 vsize=14134080 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23379/stat : 23379 (java) S 23319 23322 19618 0 -1 1077944384 43 12735 0 0 0 0 5 3 20 0 14 0 44943945 14473297920 100070 18446744073709551615 4194304 4196468 140734901501920 139810806793344 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23380] ppid=23319 vsize=14134080 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23380/stat : 23380 (java) S 23319 23322 19618 0 -1 1077944384 5 12735 0 0 0 0 5 3 20 0 14 0 44943947 14473297920 100070 18446744073709551615 4194304 4196468 140734901501920 139810805740704 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23381] ppid=23319 vsize=14134080 CPUtime=3.24 cores=1,3,5,7
/proc/23322/task/23381/stat : 23381 (java) S 23319 23322 19618 0 -1 1077944384 6679 12735 0 0 316 0 5 3 20 0 14 0 44943947 14473297920 100070 18446744073709551615 4194304 4196468 140734901501920 139810804689520 139811330288258 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23382] ppid=23319 vsize=14134080 CPUtime=3.01 cores=1,3,5,7
/proc/23322/task/23382/stat : 23382 (java) S 23319 23322 19618 0 -1 1077944384 4794 12735 0 0 292 1 5 3 20 0 14 0 44943947 14473297920 100070 18446744073709551615 4194304 4196468 140734901501920 139810803617200 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23383] ppid=23319 vsize=14134080 CPUtime=1.67 cores=1,3,5,7
/proc/23322/task/23383/stat : 23383 (java) S 23319 23322 19618 0 -1 1077944384 6192 12735 0 0 157 2 5 3 20 0 14 0 44943947 14473297920 100070 18446744073709551615 4194304 4196468 140734901501920 139810802584432 139811330288258 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
[pid=23322/tid=23384] ppid=23319 vsize=14134080 CPUtime=0.08 cores=1,3,5,7
/proc/23322/task/23384/stat : 23384 (java) S 23319 23322 19618 0 -1 1077944384 3 12735 0 0 0 0 5 3 20 0 14 0 44943948 14473297920 100070 18446744073709551615 4194304 4196468 140734901501920 139810801531872 139811330287317 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7294976 140734901503952 140734901506737 140734901506737 140734901510095 0
Current children cumulated CPU time (s) 13.92
Current children cumulated vsize (KiB) 14134080

Child status: 0
Real time (s): 5.9246
CPU time (s): 13.9424
CPU user time (s): 13.6647
CPU system time (s): 0.27774
CPU usage (%): 235.331
Max. virtual memory (cumulated for all children) (KiB): 14134080

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.6647
system time used= 0.27774
maximum resident set size= 400816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82146
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= 6563
involuntary context switches= 127

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.027583 second user time and 0.040313 second system time

The end

Launcher Data 

Begin job on node127 at 2017-08-11 06:44:17
IDJOB=4262434
IDBENCH=122873
IDSOLVER=2650
FILE ID=node127/4262434-1502427504
RUNJOBID= node127-1502411410-19682
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Mixed/Mixed-xcsp2-cril/cril-5_X2.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262434-1502427504/watcher-4262434-1502427504 -o /tmp/evaluation-result-4262434-1502427504/solver-4262434-1502427504 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502411410-19682 --watchdog 2580  bin/concrete HOME/instance-4262434-1502427504.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9f1da41f530ff2c695c2aeb349644036
RANDOM SEED=457634287

node127.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/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		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.92
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.92
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28621300 kB
MemAvailable:   29397428 kB
Buffers:          243980 kB
Cached:           823352 kB
SwapCached:            0 kB
Active:          3160060 kB
Inactive:         563476 kB
Active(anon):    2656932 kB
Inactive(anon):    24908 kB
Active(file):     503128 kB
Inactive(file):   538568 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24136 kB
Writeback:             4 kB
AnonPages:       2656528 kB
Mapped:            54068 kB
Shmem:             25252 kB
Slab:             126232 kB
SReclaimable:     100532 kB
SUnreclaim:        25700 kB
KernelStack:        3456 kB
PageTables:        10176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3386652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2424832 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 61984 MiB
End job on node127 at 2017-08-11 06:44:24