Trace number 4291862

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Mistral-2.0 2018-06-15? (TO) 2400.03 2399.9

General information on the benchmark

NameRlfap/Rlfap-opt/
Rlfap-scen-01-opt_c18.xml
MD5SUM2ee48e6c5f3b799813662dbb853aaebc
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark2520.08
Satisfiable
(Un)Satisfiability was proved
Number of variables916
Number of constraints5548
Number of domains7
Minimum domain size6
Maximum domain size44
Distribution of domain sizes[{"size":6,"count":6},{"size":22,"count":36},{"size":24,"count":8},{"size":36,"count":360},{"size":42,"count":22},{"size":44,"count":484}]
Minimum variable degree2
Maximum variable degree62
Distribution of variable degrees[{"degree":2,"count":12},{"degree":3,"count":2},{"degree":4,"count":38},{"degree":5,"count":25},{"degree":6,"count":95},{"degree":7,"count":25},{"degree":8,"count":106},{"degree":9,"count":20},{"degree":10,"count":111},{"degree":11,"count":39},{"degree":12,"count":56},{"degree":13,"count":41},{"degree":14,"count":47},{"degree":15,"count":30},{"degree":16,"count":41},{"degree":17,"count":19},{"degree":18,"count":32},{"degree":19,"count":15},{"degree":20,"count":27},{"degree":21,"count":21},{"degree":22,"count":8},{"degree":23,"count":11},{"degree":24,"count":18},{"degree":25,"count":13},{"degree":26,"count":7},{"degree":27,"count":7},{"degree":28,"count":7},{"degree":29,"count":7},{"degree":30,"count":7},{"degree":31,"count":6},{"degree":32,"count":4},{"degree":33,"count":2},{"degree":35,"count":1},{"degree":36,"count":1},{"degree":37,"count":2},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":40,"count":3},{"degree":43,"count":1},{"degree":44,"count":1},{"degree":45,"count":2},{"degree":55,"count":1},{"degree":62,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":5548}]
Number of extensional constraints0
Number of intensional constraints5548
Distribution of constraint types[{"type":"intension","count":5548}]
Optimization problemYES
Type of objectivemin NVALUES

Solver Data 

0.00/0.00	c Mistral 16062018
2400.02/2399.90	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (3935 MiB free)
  memory of node 1: 16384 MiB (11676 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4291862-1532260919/watcher-4291862-1532260919 -o /tmp/evaluation-result-4291862-1532260919/solver-4291862-1532260919 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532260533-31108 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 666108786 HOME/instance-4291862-1532260919.xml 

running on 4 cores: 1,3,5,7

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=31792, runsolver pid=31789
Current StackSize limit: 8192 KiB


[startup+0.100143 s]*
/proc/loadavg: 1.92 1.94 1.99 3/189 31793
/proc/meminfo: memFree=15979072/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=35476 memory=10080 CPUtime=0.1 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 2695 0 0 0 10 0 0 0 20 0 1 0 43655100 36327424 2520 33554432000 4194304 7498468 140731901901936 140731901898936 5885100 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 8869 2520 702 807 0 1860 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 35476 KiB
Current children cumulated memory: 10080 KiB

[startup+0.209975 s]*
/proc/loadavg: 1.92 1.94 1.99 3/189 31793
/proc/meminfo: memFree=15974244/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=38004 memory=12460 CPUtime=0.21 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 3310 0 0 0 21 0 0 0 20 0 1 0 43655100 38916096 3115 33554432000 4194304 7498468 140731901901936 140731901898936 4564424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 9501 3115 702 807 0 2492 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38004 KiB
Current children cumulated memory: 12460 KiB

[startup+0.309423 s]*
/proc/loadavg: 1.92 1.94 1.99 3/189 31793
/proc/meminfo: memFree=15971268/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=41888 memory=16536 CPUtime=0.31 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 4339 0 0 0 31 0 0 0 20 0 1 0 43655100 42893312 4134 33554432000 4194304 7498468 140731901901936 140731901898936 140140444992176 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 10472 4134 702 807 0 3463 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41888 KiB
Current children cumulated memory: 16536 KiB

[startup+0.700272 s]
/proc/loadavg: 1.92 1.94 1.99 3/189 31793
/proc/meminfo: memFree=15964944/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=53200 memory=27720 CPUtime=0.69 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 7206 0 0 0 68 1 0 0 20 0 1 0 43655100 54476800 6930 33554432000 4194304 7498468 140731901901936 140731901892696 4564424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 13300 6930 702 807 0 6291 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 53200 KiB
Current children cumulated memory: 27720 KiB

[startup+1.50029 s]
/proc/loadavg: 1.92 1.94 1.99 3/189 31793
/proc/meminfo: memFree=15949532/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=76912 memory=51468 CPUtime=1.49 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 13136 0 0 0 147 2 0 0 20 0 1 0 43655100 78757888 12867 33554432000 4194304 7498468 140731901901936 140731901892696 4564424 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 19228 12867 702 807 0 12219 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 76912 KiB
Current children cumulated memory: 51468 KiB

[startup+3.10951 s]
/proc/loadavg: 1.93 1.94 1.99 3/189 31793
/proc/meminfo: memFree=15891128/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=123472 memory=97964 CPUtime=3.1 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 26193 0 0 0 307 3 0 0 20 0 1 0 43655100 126435328 24491 33554432000 4194304 7498468 140731901901936 140731901892696 140140441684333 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 30868 24491 702 807 0 23859 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 123472 KiB
Current children cumulated memory: 97964 KiB

[startup+6.30039 s]
/proc/loadavg: 1.93 1.94 1.99 3/189 31793
/proc/meminfo: memFree=15702628/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=308372 memory=283252 CPUtime=6.29 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 109400 0 0 0 617 12 0 0 20 0 1 0 43655100 315772928 70813 33554432000 4194304 7498468 140731901901936 140731901893112 4249716 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 77093 70813 751 807 0 70084 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 308372 KiB
Current children cumulated memory: 283252 KiB

[startup+12.7003 s]
/proc/loadavg: 1.94 1.95 1.99 3/189 31793
/proc/meminfo: memFree=15700968/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=309824 memory=284652 CPUtime=12.69 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 159752 0 0 0 1254 15 0 0 20 0 1 0 43655100 317259776 71163 33554432000 4194304 7498468 140731901901936 140731901896200 4249748 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 77456 71163 751 807 0 70447 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 309824 KiB
Current children cumulated memory: 284652 KiB

[startup+25.5003 s]
/proc/loadavg: 1.95 1.95 1.99 3/189 31793
/proc/meminfo: memFree=15698500/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=312648 memory=287424 CPUtime=25.48 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 209618 0 0 0 2531 17 0 0 20 0 1 0 43655100 320151552 71856 33554432000 4194304 7498468 140731901901936 140731901896360 4249718 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 78162 71856 751 807 0 71153 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 312648 KiB
Current children cumulated memory: 287424 KiB

[startup+51.1095 s]
/proc/loadavg: 1.97 1.95 1.99 3/189 31793
/proc/meminfo: memFree=15698268/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=313308 memory=288124 CPUtime=51.09 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 251141 0 0 0 5089 20 0 0 20 0 1 0 43655100 320827392 72031 33554432000 4194304 7498468 140731901901936 140731901896360 4249936 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 78327 72031 751 807 0 71318 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 313308 KiB
Current children cumulated memory: 288124 KiB

[startup+102.3 s]
/proc/loadavg: 1.99 1.96 1.99 3/189 31794
/proc/meminfo: memFree=15696432/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=314668 memory=289484 CPUtime=102.26 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 284035 0 0 0 10204 22 0 0 20 0 1 0 43655100 322220032 72371 33554432000 4194304 7498468 140731901901936 140731901896568 4249718 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 78667 72371 751 807 0 71658 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 314668 KiB
Current children cumulated memory: 289484 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 1.97 1.99 3/189 31795
/proc/meminfo: memFree=15696460/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=314668 memory=289484 CPUtime=162.26 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 304568 0 0 0 16202 24 0 0 20 0 1 0 43655100 322220032 72371 33554432000 4194304 7498468 140731901901936 140731901896568 4249974 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 78667 72371 751 807 0 71658 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 314668 KiB
Current children cumulated memory: 289484 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 1.97 1.99 3/188 31796
/proc/meminfo: memFree=15696760/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=314800 memory=289580 CPUtime=222.26 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 306114 0 0 0 22202 24 0 0 20 0 1 0 43655100 322355200 72395 33554432000 4194304 7498468 140731901901936 140731901896360 4249718 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 78700 72395 751 807 0 71691 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 314800 KiB
Current children cumulated memory: 289580 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 1.98 1.99 3/187 31797
/proc/meminfo: memFree=15695908/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=315348 memory=289976 CPUtime=282.26 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 306693 0 0 0 28202 24 0 0 20 0 1 0 43655100 322916352 72494 33554432000 4194304 7498468 140731901901936 140731901896632 4249967 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 78837 72494 751 807 0 71828 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 315348 KiB
Current children cumulated memory: 289976 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 1.98 1.99 3/187 31798
/proc/meminfo: memFree=15696280/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=315348 memory=290164 CPUtime=342.27 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 307257 0 0 0 34203 24 0 0 20 0 1 0 43655100 322916352 72541 33554432000 4194304 7498468 140731901901936 140731901896632 4249711 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 78837 72541 751 807 0 71828 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 315348 KiB
Current children cumulated memory: 290164 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/187 31799
/proc/meminfo: memFree=15696776/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=315348 memory=290164 CPUtime=402.27 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 308579 0 0 0 40203 24 0 0 20 0 1 0 43655100 322916352 72541 33554432000 4194304 7498468 140731901901936 140731901896632 4249970 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 78837 72541 751 807 0 71828 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 315348 KiB
Current children cumulated memory: 290164 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/187 31800
/proc/meminfo: memFree=15696736/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=315348 memory=290164 CPUtime=462.27 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 309926 0 0 0 46203 24 0 0 20 0 1 0 43655100 322916352 72541 33554432000 4194304 7498468 140731901901936 140731901896632 4249687 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 78837 72541 751 807 0 71828 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 315348 KiB
Current children cumulated memory: 290164 KiB


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

/proc/31792/statm: 78870 72583 751 807 0 71861 0
Current children cumulated CPU time: 1662.36 s
Current children cumulated vsize: 315480 KiB
Current children cumulated memory: 290332 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.06 2.04 3/188 31845
/proc/meminfo: memFree=15694860/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=315480 memory=290372 CPUtime=1722.36 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 324706 0 0 0 172210 26 0 0 20 0 1 0 43655100 323051520 72593 33554432000 4194304 7498468 140731901901936 140731901896360 5613376 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 78870 72593 751 807 0 71861 0
Current children cumulated CPU time: 1722.36 s
Current children cumulated vsize: 315480 KiB
Current children cumulated memory: 290372 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.04 3/187 31846
/proc/meminfo: memFree=15695676/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=315480 memory=290372 CPUtime=1782.37 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 325194 0 0 0 178211 26 0 0 20 0 1 0 43655100 323051520 72593 33554432000 4194304 7498468 140731901901936 140731901896360 4249714 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 78870 72593 751 807 0 71861 0
Current children cumulated CPU time: 1782.37 s
Current children cumulated vsize: 315480 KiB
Current children cumulated memory: 290372 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.04 2.04 3/188 31848
/proc/meminfo: memFree=15694544/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=315480 memory=290376 CPUtime=1842.37 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 325809 0 0 0 184211 26 0 0 20 0 1 0 43655100 323051520 72594 33554432000 4194304 7498468 140731901901936 140731901896360 4249784 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 78870 72594 751 807 0 71861 0
Current children cumulated CPU time: 1842.37 s
Current children cumulated vsize: 315480 KiB
Current children cumulated memory: 290376 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/188 31849
/proc/meminfo: memFree=15694520/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=315480 memory=290376 CPUtime=1902.38 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 326430 0 0 0 190212 26 0 0 20 0 1 0 43655100 323051520 72594 33554432000 4194304 7498468 140731901901936 140731901896360 4541152 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 78870 72594 751 807 0 71861 0
Current children cumulated CPU time: 1902.38 s
Current children cumulated vsize: 315480 KiB
Current children cumulated memory: 290376 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/188 31850
/proc/meminfo: memFree=15694644/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=315480 memory=290376 CPUtime=1962.38 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 327046 0 0 0 196212 26 0 0 20 0 1 0 43655100 323051520 72594 33554432000 4194304 7498468 140731901901936 140731901896360 4249716 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 78870 72594 751 807 0 71861 0
Current children cumulated CPU time: 1962.38 s
Current children cumulated vsize: 315480 KiB
Current children cumulated memory: 290376 KiB

[startup+2022.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/187 31912
/proc/meminfo: memFree=15803656/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=315480 memory=290376 CPUtime=2022.38 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 327662 0 0 0 202212 26 0 0 20 0 1 0 43655100 323051520 72594 33554432000 4194304 7498468 140731901901936 140731901896360 5585419 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 78870 72594 751 807 0 71861 0
Current children cumulated CPU time: 2022.38 s
Current children cumulated vsize: 315480 KiB
Current children cumulated memory: 290376 KiB

[startup+2082.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/187 31913
/proc/meminfo: memFree=15574256/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=315480 memory=290376 CPUtime=2082.39 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 328288 0 0 0 208213 26 0 0 20 0 1 0 43655100 323051520 72594 33554432000 4194304 7498468 140731901901936 140731901896360 4250007 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 78870 72594 751 807 0 71861 0
Current children cumulated CPU time: 2082.39 s
Current children cumulated vsize: 315480 KiB
Current children cumulated memory: 290376 KiB

[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/187 31914
/proc/meminfo: memFree=15573660/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=315480 memory=290376 CPUtime=2142.39 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 328424 0 0 0 214213 26 0 0 20 0 1 0 43655100 323051520 72594 33554432000 4194304 7498468 140731901901936 140731901896360 4541152 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 78870 72594 751 807 0 71861 0
Current children cumulated CPU time: 2142.39 s
Current children cumulated vsize: 315480 KiB
Current children cumulated memory: 290376 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 31915
/proc/meminfo: memFree=15573320/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=315612 memory=290452 CPUtime=2202.4 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 330143 0 0 0 220213 27 0 0 20 0 1 0 43655100 323186688 72613 33554432000 4194304 7498468 140731901901936 140731901896360 4249784 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 78903 72613 751 807 0 71894 0
Current children cumulated CPU time: 2202.4 s
Current children cumulated vsize: 315612 KiB
Current children cumulated memory: 290452 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31916
/proc/meminfo: memFree=15574684/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=315612 memory=290456 CPUtime=2262.41 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 330810 0 0 0 226214 27 0 0 20 0 1 0 43655100 323186688 72614 33554432000 4194304 7498468 140731901901936 140731901896360 5621708 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 78903 72614 751 807 0 71894 0
Current children cumulated CPU time: 2262.41 s
Current children cumulated vsize: 315612 KiB
Current children cumulated memory: 290456 KiB

[startup+2322.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/187 31924
/proc/meminfo: memFree=15574124/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=315612 memory=290456 CPUtime=2322.41 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 331444 0 0 0 232214 27 0 0 20 0 1 0 43655100 323186688 72614 33554432000 4194304 7498468 140731901901936 140731901896360 4249682 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 78903 72614 751 807 0 71894 0
Current children cumulated CPU time: 2322.41 s
Current children cumulated vsize: 315612 KiB
Current children cumulated memory: 290456 KiB

[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 31925
/proc/meminfo: memFree=15574012/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=315612 memory=290456 CPUtime=2382.42 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 331935 0 0 0 238215 27 0 0 20 0 1 0 43655100 323186688 72614 33554432000 4194304 7498468 140731901901936 140731901896360 4249748 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 78903 72614 751 807 0 71894 0
Current children cumulated CPU time: 2382.42 s
Current children cumulated vsize: 315612 KiB
Current children cumulated memory: 290456 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2399.9 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 31925
/proc/meminfo: memFree=15574004/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=315612 memory=290456 CPUtime=2400.02 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 332079 0 0 0 239975 27 0 0 20 0 1 0 43655100 323186688 72614 33554432000 4194304 7498468 140731901901936 140731901896360 5613376 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 78903 72614 751 807 0 71894 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 315612 KiB
Current children cumulated memory: 290456 KiB

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

[startup+2399.9 s]
# the end of solver process 31792 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.75 s, system=0.274018 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2399.9 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 31925
/proc/meminfo: memFree=15574004/32770624 swapFree=67108860/67108860
[pid=31792] ppid=31789 vsize=315612 memory=290456 CPUtime=2400.02 cores=1,3,5,7
/proc/31792/stat : 31792 (MistralXCSP) R 31789 31792 31076 0 -1 4202496 332079 0 0 0 239975 27 0 0 20 0 1 0 43655100 323186688 72614 33554432000 4194304 7498468 140731901901936 140731901896360 5613376 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0 9598848 9604096 27676672 140731901908078 140731901908227 140731901908227 140731901910985 0
/proc/31792/statm: 78903 72614 751 807 0 71894 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 315612 KiB
Current children cumulated memory: 290456 KiB

Child status: 0
Real time (s): 2399.9
CPU time (s): 2400.03
CPU user time (s): 2399.75
CPU system time (s): 0.274018
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 315612
Max. memory (cumulated for all children) (KiB): 290456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.75
system time used= 0.274018
maximum resident set size= 290476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332115
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80
involuntary context switches= 688


# summary of solver processes directly reported to runsolver:
#   pid: 31792
#   total CPU time (s): 2400.03
#   total CPU user time (s): 2399.75
#   total CPU system time (s): 0.274018

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.40764 second user time and 15.8288 second system time

The end

Launcher Data 

Begin job on node105 at 2018-07-22 14:01:59
IDJOB=4291862
IDBENCH=141190
IDSOLVER=2741
FILE ID=node105/4291862-1532260919
RUNJOBID= node105-1532260533-31108
PBS_JOBID= 21018967
Free space on /tmp= 44916 MiB

SOLVER NAME= Mistral-2.0 2018-06-15
BENCH NAME= XCSP18/Rlfap/Rlfap-opt/Rlfap-scen-01-opt_c18.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4291862-1532260919/watcher-4291862-1532260919 -o /tmp/evaluation-result-4291862-1532260919/solver-4291862-1532260919 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532260533-31108 --watchdog 2560  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 666108786 HOME/instance-4291862-1532260919.xml

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

MD5SUM BENCH= 2ee48e6c5f3b799813662dbb853aaebc
RANDOM SEED=666108786

node105.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.32
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.32
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.32
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.32
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:        15985860 kB
MemAvailable:   31804516 kB
Buffers:          156788 kB
Cached:         15633992 kB
SwapCached:            0 kB
Active:          1381752 kB
Inactive:       14597964 kB
Active(anon):     143116 kB
Inactive(anon):    65092 kB
Active(file):    1238636 kB
Inactive(file): 14532872 kB
Unevictable:        7308 kB
Mlocked:            7308 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              9588 kB
Writeback:             0 kB
AnonPages:        195816 kB
Mapped:            37216 kB
Shmem:             17036 kB
Slab:             503120 kB
SReclaimable:     475608 kB
SUnreclaim:        27512 kB
KernelStack:        3456 kB
PageTables:         5240 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     480336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 44904 MiB
End job on node105 at 2018-07-22 14:41:59