Trace number 4303528

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
PicatSAT 2018-08-02? (TO) 2520.11 2519.96

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-16-0260_c18.xml
MD5SUM3d35ef38e8714b8368aba06bbd25b59a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark372103316
Best CPU time to get the best result obtained on this benchmark2520.09
Satisfiable
(Un)Satisfiability was proved
Number of variables6038
Number of constraints3927
Number of domains31
Minimum domain size1
Maximum domain size151
Distribution of domain sizes[{"size":1,"count":5},{"size":2,"count":2094},{"size":11,"count":1839},{"size":12,"count":1},{"size":21,"count":98},{"size":23,"count":52},{"size":33,"count":21},{"size":35,"count":35},{"size":39,"count":50},{"size":41,"count":27},{"size":43,"count":72},{"size":45,"count":55},{"size":59,"count":83},{"size":65,"count":46},{"size":67,"count":53},{"size":83,"count":41},{"size":99,"count":155},{"size":111,"count":164},{"size":114,"count":81},{"size":126,"count":165},{"size":146,"count":205},{"size":151,"count":696}]
Minimum variable degree2
Maximum variable degree1840
Distribution of variable degrees[{"degree":2,"count":5517},{"degree":4,"count":3},{"degree":5,"count":4},{"degree":6,"count":4},{"degree":7,"count":11},{"degree":8,"count":11},{"degree":9,"count":17},{"degree":10,"count":28},{"degree":11,"count":24},{"degree":12,"count":23},{"degree":13,"count":37},{"degree":14,"count":44},{"degree":15,"count":45},{"degree":16,"count":38},{"degree":17,"count":46},{"degree":18,"count":63},{"degree":19,"count":76},{"degree":20,"count":46},{"degree":1840,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":249},{"arity":3,"count":1839},{"arity":6,"count":1839}]
Number of extensional constraints1839
Number of intensional constraints2088
Distribution of constraint types[{"type":"extension","count":1839},{"type":"intension","count":2088}]
Optimization problemYES
Type of objectivemin SUM

Solver Data


Verifier Data 

One s line expected

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 (521 MiB free)
  memory of node 1: 16384 MiB (2516 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303528-1534009287/watcher-4303528-1534009287 -o /tmp/evaluation-result-4303528-1534009287/solver-4303528-1534009287 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1533993611-5741 --watchdog 2580 xcsp_picat HOME/instance-4303528-1534009287.xml 

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


[startup+0.100158 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 7701
/proc/meminfo: memFree=3093104/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=2025744 memory=22360 CPUtime=0.1 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 1682 0 0 0 10 0 0 0 20 0 1 0 218491946 2074361856 5590 33554432000 4194304 5849708 140727008386736 140727008386736 140462632303616 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 506436 5590 596 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 22360 KiB

[startup+0.209721 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 7701
/proc/meminfo: memFree=3084912/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=2025744 memory=28504 CPUtime=0.2 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 1685 0 0 0 20 0 0 0 20 0 1 0 218491946 2074361856 7126 33554432000 4194304 5849708 140727008386736 140727008386736 140462632303616 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 506436 7126 596 405 0 503381 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 28504 KiB

[startup+0.309548 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 7701
/proc/meminfo: memFree=3078656/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=2025744 memory=34648 CPUtime=0.31 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 1688 0 0 0 30 1 0 0 20 0 1 0 218491946 2074361856 8662 33554432000 4194304 5849708 140727008386736 140727008386736 140462632303616 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 506436 8662 596 405 0 503381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 34648 KiB

[startup+0.700336 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7701
/proc/meminfo: memFree=3066368/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=2025744 memory=57176 CPUtime=0.69 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 1699 0 0 0 68 1 0 0 20 0 1 0 218491946 2074361856 14294 33554432000 4194304 5849708 140727008386736 140727008386040 140462632303616 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 506436 14294 596 405 0 503381 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 57176 KiB

[startup+1.50035 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7701
/proc/meminfo: memFree=3037696/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=2025744 memory=106460 CPUtime=1.49 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 1723 0 0 0 147 2 0 0 20 0 1 0 218491946 2074361856 26615 33554432000 4194304 5849708 140727008386736 140727008386040 140462632303616 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 506436 26615 626 405 0 503381 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 106460 KiB

[startup+3.10946 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7701
/proc/meminfo: memFree=2915004/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=2025744 memory=206812 CPUtime=3.1 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 1871 0 0 0 307 3 0 0 20 0 1 0 218491946 2074361856 51703 33554432000 4194304 5849708 140727008386736 140727008386040 140462632303616 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 506436 51703 626 405 0 503381 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 206812 KiB

[startup+6.3003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7701
/proc/meminfo: memFree=2728332/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=2025744 memory=401372 CPUtime=6.29 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 2071 0 0 0 622 7 0 0 20 0 1 0 218491946 2074361856 100343 33554432000 4194304 5849708 140727008386736 140727008386040 140462632303616 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 506436 100343 626 405 0 503381 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 401372 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7701
/proc/meminfo: memFree=2361068/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=2025744 memory=794588 CPUtime=12.69 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 2483 0 0 0 1255 14 0 0 20 0 1 0 218491946 2074361856 198647 33554432000 4194304 5849708 140727008386736 140727008386040 4476438 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 506436 198647 626 405 0 503381 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 794588 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 7701
/proc/meminfo: memFree=1181824/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=2056996 memory=1971696 CPUtime=25.49 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 26180 0 0 0 2499 50 0 0 20 0 1 0 218491946 2106363904 492924 33554432000 4194304 5849708 140727008386736 140727008386024 4513847 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 514249 492924 657 405 0 511194 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2056996 KiB
Current children cumulated memory: 1971696 KiB

[startup+51.109 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 7701
/proc/meminfo: memFree=2041284/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=4293800 memory=2307892 CPUtime=51.1 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 452015 0 0 0 4859 251 0 0 20 0 1 0 218491946 4396851200 576973 33554432000 4194304 5849708 140727008386736 140727008385848 140462632324999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 1073450 576973 727 405 0 1070395 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 4293800 KiB
Current children cumulated memory: 2307892 KiB

[startup+102.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/188 7702
/proc/meminfo: memFree=2089620/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=4332920 memory=2347152 CPUtime=102.29 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 466046 0 0 0 9966 263 0 0 20 0 1 0 218491946 4436910080 586788 33554432000 4194304 5849708 140727008386736 140727008385848 5472852 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 1083230 586788 761 405 0 1080175 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 4332920 KiB
Current children cumulated memory: 2347152 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 7703
/proc/meminfo: memFree=1963812/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=4436540 memory=2450716 CPUtime=162.29 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 531129 0 0 0 15938 291 0 0 20 0 1 0 218491946 4543016960 612679 33554432000 4194304 5849708 140727008386736 140727008385224 4211419 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 1109135 612679 761 405 0 1106080 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 4436540 KiB
Current children cumulated memory: 2450716 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 7704
/proc/meminfo: memFree=1898112/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=4437504 memory=2451736 CPUtime=222.3 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 570594 0 0 0 21920 310 0 0 20 0 1 0 218491946 4544004096 612934 33554432000 4194304 5849708 140727008386736 140727008385736 5435177 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 1109376 612934 761 405 0 1106321 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 4437504 KiB
Current children cumulated memory: 2451736 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 7705
/proc/meminfo: memFree=1957756/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=4377340 memory=2391572 CPUtime=282.31 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 596929 0 0 0 27910 321 0 0 20 0 1 0 218491946 4482396160 597893 33554432000 4194304 5849708 140727008386736 140727008385384 140462632324999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 1094335 597893 761 405 0 1091280 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 4377340 KiB
Current children cumulated memory: 2391572 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 7706
/proc/meminfo: memFree=1961692/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=4373724 memory=2387956 CPUtime=342.31 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 620930 0 0 0 33897 334 0 0 20 0 1 0 218491946 4478693376 596989 33554432000 4194304 5849708 140727008386736 140727008385464 5407956 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 1093431 596989 761 405 0 1090376 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 4373724 KiB
Current children cumulated memory: 2387956 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 7707
/proc/meminfo: memFree=1956124/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=4373724 memory=2387956 CPUtime=402.31 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 639282 0 0 0 39885 346 0 0 20 0 1 0 218491946 4478693376 596989 33554432000 4194304 5849708 140727008386736 140727008385736 140462632324999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 1093431 596989 761 405 0 1090376 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 4373724 KiB
Current children cumulated memory: 2387956 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 7708
/proc/meminfo: memFree=1954648/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=4373508 memory=2387740 CPUtime=462.32 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 657475 0 0 0 45871 361 0 0 20 0 1 0 218491946 4478472192 596935 33554432000 4194304 5849708 140727008386736 140727008385736 140462632324999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 1093377 596935 761 405 0 1090322 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 4373508 KiB
Current children cumulated memory: 2387740 KiB


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

/proc/7700/statm: 1094974 598562 761 405 0 1091919 0
Current children cumulated CPU time: 1782.4 s
Current children cumulated vsize: 4379896 KiB
Current children cumulated memory: 2394248 KiB

[startup+1842.3 s]
/proc/loadavg: 1.99 2.02 2.05 3/188 7841
/proc/meminfo: memFree=2911100/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=4379896 memory=2394248 CPUtime=1842.4 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 1130939 0 0 0 183474 766 0 0 20 0 1 0 218491946 4485013504 598562 33554432000 4194304 5849708 140727008386736 140727008385736 140462632324999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 1094974 598562 761 405 0 1091919 0
Current children cumulated CPU time: 1842.4 s
Current children cumulated vsize: 4379896 KiB
Current children cumulated memory: 2394248 KiB

[startup+1902.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/188 7903
/proc/meminfo: memFree=5087296/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=4373272 memory=2387624 CPUtime=1902.4 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 1137999 0 0 0 189458 782 0 0 20 0 1 0 218491946 4478230528 596906 33554432000 4194304 5849708 140727008386736 140727008385736 140462632324999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 1093318 596906 761 405 0 1090263 0
Current children cumulated CPU time: 1902.4 s
Current children cumulated vsize: 4373272 KiB
Current children cumulated memory: 2387624 KiB

[startup+1962.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/188 7965
/proc/meminfo: memFree=8769768/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=4373272 memory=2387624 CPUtime=1962.4 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 1144840 0 0 0 195441 799 0 0 20 0 1 0 218491946 4478230528 596906 33554432000 4194304 5849708 140727008386736 140727008385736 5437824 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 1093318 596906 761 405 0 1090263 0
Current children cumulated CPU time: 1962.4 s
Current children cumulated vsize: 4373272 KiB
Current children cumulated memory: 2387624 KiB

[startup+2022.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 7966
/proc/meminfo: memFree=8704864/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=4373272 memory=2387624 CPUtime=2022.41 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 1164942 0 0 0 201423 818 0 0 20 0 1 0 218491946 4478230528 596906 33554432000 4194304 5849708 140727008386736 140727008385896 140462632324999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 1093318 596906 761 405 0 1090263 0
Current children cumulated CPU time: 2022.41 s
Current children cumulated vsize: 4373272 KiB
Current children cumulated memory: 2387624 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 7967
/proc/meminfo: memFree=8698416/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=4373272 memory=2387624 CPUtime=2082.42 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 1185835 0 0 0 207406 836 0 0 20 0 1 0 218491946 4478230528 596906 33554432000 4194304 5849708 140727008386736 140727008385736 5437947 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 1093318 596906 761 405 0 1090263 0
Current children cumulated CPU time: 2082.42 s
Current children cumulated vsize: 4373272 KiB
Current children cumulated memory: 2387624 KiB

[startup+2142.3 s]
/proc/loadavg: 1.92 1.99 2.03 3/187 8031
/proc/meminfo: memFree=1214188/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=4373268 memory=2387620 CPUtime=2142.42 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 1207147 0 0 0 213387 855 0 0 20 0 1 0 218491946 4478226432 596905 33554432000 4194304 5849708 140727008386736 140727008385736 140462632324999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 1093317 596905 761 405 0 1090262 0
Current children cumulated CPU time: 2142.42 s
Current children cumulated vsize: 4373268 KiB
Current children cumulated memory: 2387620 KiB

[startup+2202.3 s]
/proc/loadavg: 1.97 1.99 2.03 4/187 8093
/proc/meminfo: memFree=6059560/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=4373268 memory=2387620 CPUtime=2202.42 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 1221462 0 0 0 219368 874 0 0 20 0 1 0 218491946 4478226432 596905 33554432000 4194304 5849708 140727008386736 140727008385736 140462632324999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 1093317 596905 761 405 0 1090262 0
Current children cumulated CPU time: 2202.42 s
Current children cumulated vsize: 4373268 KiB
Current children cumulated memory: 2387620 KiB

[startup+2262.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/187 8094
/proc/meminfo: memFree=2635728/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=4373268 memory=2387620 CPUtime=2262.42 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 1242812 0 0 0 225348 894 0 0 20 0 1 0 218491946 4478226432 596905 33554432000 4194304 5849708 140727008386736 140727008385736 5339463 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 1093317 596905 761 405 0 1090262 0
Current children cumulated CPU time: 2262.42 s
Current children cumulated vsize: 4373268 KiB
Current children cumulated memory: 2387620 KiB

[startup+2322.3 s]
/proc/loadavg: 1.94 1.97 2.03 4/188 8103
/proc/meminfo: memFree=359204/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=4373268 memory=2387620 CPUtime=2322.42 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 1250267 0 0 0 231332 910 0 0 20 0 1 0 218491946 4478226432 596905 33554432000 4194304 5849708 140727008386736 140727008385736 5437576 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 1093317 596905 761 405 0 1090262 0
Current children cumulated CPU time: 2322.42 s
Current children cumulated vsize: 4373268 KiB
Current children cumulated memory: 2387620 KiB

[startup+2382.3 s]
/proc/loadavg: 2.02 1.99 2.03 4/188 8104
/proc/meminfo: memFree=294576/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=4373264 memory=2387616 CPUtime=2382.43 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 1264613 0 0 0 237317 926 0 0 20 0 1 0 218491946 4478222336 596904 33554432000 4194304 5849708 140727008386736 140727008385736 140462632324999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 1093316 596904 761 405 0 1090261 0
Current children cumulated CPU time: 2382.43 s
Current children cumulated vsize: 4373264 KiB
Current children cumulated memory: 2387616 KiB

[startup+2442.3 s]
/proc/loadavg: 2.01 1.99 2.03 4/188 8105
/proc/meminfo: memFree=228496/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=4373264 memory=2387616 CPUtime=2442.44 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 1285745 0 0 0 243299 945 0 0 20 0 1 0 218491946 4478222336 596904 33554432000 4194304 5849708 140727008386736 140727008385736 140462632324999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 1093316 596904 761 405 0 1090261 0
Current children cumulated CPU time: 2442.44 s
Current children cumulated vsize: 4373264 KiB
Current children cumulated memory: 2387616 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 2.03 4/188 8106
/proc/meminfo: memFree=188432/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=4373264 memory=2387616 CPUtime=2502.44 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 1300964 0 0 0 249277 967 0 0 20 0 1 0 218491946 4478222336 596904 33554432000 4194304 5849708 140727008386736 140727008385736 140462632324999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 1093316 596904 761 405 0 1090261 0
Current children cumulated CPU time: 2502.44 s
Current children cumulated vsize: 4373264 KiB
Current children cumulated memory: 2387616 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2519.9 s]
/proc/loadavg: 2.00 1.99 2.03 4/188 8106
/proc/meminfo: memFree=203740/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=4373264 memory=2387616 CPUtime=2520.03 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 1301414 0 0 0 251032 971 0 0 20 0 1 0 218491946 4478222336 596904 33554432000 4194304 5849708 140727008386736 140727008385736 5437576 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 1093316 596904 761 405 0 1090261 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 4373264 KiB
Current children cumulated memory: 2387616 KiB

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

[startup+2519.96 s]
# the end of solver process 7700 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2510.33 s, system=9.77858 s

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

[startup+2519.9 s]
/proc/loadavg: 2.00 1.99 2.03 4/188 8106
/proc/meminfo: memFree=203740/32770624 swapFree=67108860/67108860
[pid=7700] ppid=7697 vsize=4373264 memory=2387616 CPUtime=2520.03 cores=1,3,5,7
/proc/7700/stat : 7700 (xcsp_picat) R 7697 7700 5709 0 -1 4202496 1301414 0 0 0 251032 971 0 0 20 0 1 0 218491946 4478222336 596904 33554432000 4194304 5849708 140727008386736 140727008385736 5437576 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 19521536 140727008388278 140727008388356 140727008388356 140727008391114 0
/proc/7700/statm: 1093316 596904 761 405 0 1090261 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 4373264 KiB
Current children cumulated memory: 2387616 KiB

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.96
CPU time (s): 2520.11
CPU user time (s): 2510.33
CPU system time (s): 9.77858
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 6246928
Max. memory (cumulated for all children) (KiB): 4240748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.33
system time used= 9.77858
maximum resident set size= 4240748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1301414
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= 15
involuntary context switches= 786


# summary of solver processes directly reported to runsolver:
#   pid: 7700
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2510.33
#   total CPU system time (s): 9.77858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.90582 second user time and 18.3592 second system time

The end

Launcher Data 

Begin job on node107 at 2018-08-11 19:41:28
IDJOB=4303528
IDBENCH=141262
IDSOLVER=2778
FILE ID=node107/4303528-1534009287
RUNJOBID= node107-1533993611-5741
PBS_JOBID= 21036955
Free space on /tmp= 39196 MiB

SOLVER NAME= PicatSAT 2018-08-02
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-16-0260_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4303528-1534009287/watcher-4303528-1534009287 -o /tmp/evaluation-result-4303528-1534009287/solver-4303528-1534009287 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1533993611-5741 --watchdog 2580  xcsp_picat HOME/instance-4303528-1534009287.xml

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

MD5SUM BENCH= 3d35ef38e8714b8368aba06bbd25b59a
RANDOM SEED=1917635772

node107.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.40
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.40
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.40
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.40
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:         3111404 kB
MemAvailable:   30253952 kB
Buffers:          279568 kB
Cached:         26759268 kB
SwapCached:            0 kB
Active:         10742872 kB
Inactive:       17998176 kB
Active(anon):    1650912 kB
Inactive(anon):   103592 kB
Active(file):    9091960 kB
Inactive(file): 17894584 kB
Unevictable:        6976 kB
Mlocked:            6976 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             44620 kB
Writeback:         32980 kB
AnonPages:       1811112 kB
Mapped:            62984 kB
Shmem:             49804 kB
Slab:             612564 kB
SReclaimable:     584464 kB
SUnreclaim:        28100 kB
KernelStack:        3376 kB
PageTables:         8752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2491056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1722368 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 39232 MiB
End job on node107 at 2018-08-11 20:23:28