Trace number 4293932

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-06-15? (TO) 2520.04 2520.01

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-test02-0250_c18.xml
MD5SUM2354d9b784d04df982f0d1b4068abd13
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark89666091
Best CPU time to get the best result obtained on this benchmark2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables3894
Number of constraints2462
Number of domains32
Minimum domain size1
Maximum domain size175
Distribution of domain sizes[{"size":1,"count":1},{"size":2,"count":1380},{"size":11,"count":1131},{"size":12,"count":1},{"size":23,"count":45},{"size":47,"count":70},{"size":57,"count":33},{"size":60,"count":11},{"size":69,"count":36},{"size":70,"count":19},{"size":79,"count":14},{"size":81,"count":2},{"size":84,"count":6},{"size":93,"count":2},{"size":94,"count":10},{"size":110,"count":4},{"size":113,"count":12},{"size":118,"count":77},{"size":127,"count":39},{"size":137,"count":13},{"size":151,"count":17},{"size":153,"count":16},{"size":154,"count":100},{"size":170,"count":27},{"size":175,"count":828}]
Minimum variable degree2
Maximum variable degree1132
Distribution of variable degrees[{"degree":2,"count":3396},{"degree":3,"count":10},{"degree":4,"count":16},{"degree":5,"count":23},{"degree":6,"count":38},{"degree":7,"count":47},{"degree":8,"count":26},{"degree":9,"count":44},{"degree":10,"count":59},{"degree":11,"count":73},{"degree":12,"count":68},{"degree":13,"count":29},{"degree":14,"count":29},{"degree":15,"count":16},{"degree":16,"count":13},{"degree":17,"count":2},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":1132,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":200},{"arity":3,"count":1131},{"arity":6,"count":1131}]
Number of extensional constraints1131
Number of intensional constraints1331
Distribution of constraint types[{"type":"extension","count":1131},{"type":"intension","count":1331}]
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 (258 MiB free)
  memory of node 1: 16384 MiB (6360 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293932-1532399731/watcher-4293932-1532399731 -o /tmp/evaluation-result-4293932-1532399731/solver-4293932-1532399731 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532369589-13986 --watchdog 2580 xcsp_picat HOME/instance-4293932-1532399731.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=16861, runsolver pid=16858
Current StackSize limit: 8192 KiB


[startup+0.100287 s]*
/proc/loadavg: 2.00 2.05 2.06 3/187 16862
/proc/meminfo: memFree=6759948/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=128380 memory=20960 CPUtime=0.1 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 1945 0 0 0 10 0 0 0 20 0 1 0 57536332 131461120 5240 33554432000 4194304 5849740 140722190846368 140722190845672 4786602 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 32095 5240 627 405 0 29039 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 128380 KiB
Current children cumulated memory: 20960 KiB

[startup+0.209645 s]*
/proc/loadavg: 2.00 2.05 2.06 3/187 16862
/proc/meminfo: memFree=6753748/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=128864 memory=27956 CPUtime=0.2 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 2572 0 0 0 20 0 0 0 20 0 1 0 57536332 131956736 6989 33554432000 4194304 5849740 140722190846368 140722190845672 5249600 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 32216 6989 630 405 0 29160 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 128864 KiB
Current children cumulated memory: 27956 KiB

[startup+0.309654 s]*
/proc/loadavg: 2.00 2.05 2.06 3/187 16862
/proc/meminfo: memFree=6751080/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=129500 memory=29452 CPUtime=0.31 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 2912 0 0 0 30 1 0 0 20 0 1 0 57536332 132608000 7363 33554432000 4194304 5849740 140722190846368 140722190845672 139725616286720 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 32375 7363 630 405 0 29319 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 129500 KiB
Current children cumulated memory: 29452 KiB

[startup+0.700393 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 16862
/proc/meminfo: memFree=6740944/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=136744 memory=45624 CPUtime=0.69 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 5426 0 0 0 67 2 0 0 20 0 1 0 57536332 140025856 11406 33554432000 4194304 5849740 140722190846368 140722190845672 4454714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 34186 11406 630 405 0 31130 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 136744 KiB
Current children cumulated memory: 45624 KiB

[startup+1.50043 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 16862
/proc/meminfo: memFree=6726632/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=147188 memory=57312 CPUtime=1.49 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 11710 0 0 0 141 8 0 0 20 0 1 0 57536332 150720512 14328 33554432000 4194304 5849740 140722190846368 140722190845336 5251230 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 36797 14328 630 405 0 33741 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 147188 KiB
Current children cumulated memory: 57312 KiB

[startup+3.10955 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 16862
/proc/meminfo: memFree=6691012/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=161232 memory=79616 CPUtime=3.09 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 25254 0 0 0 290 19 0 0 20 0 1 0 57536332 165101568 19392 33554432000 4194304 5849740 140722190846368 140722190845336 5251261 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 40308 19904 630 405 0 37252 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 161232 KiB
Current children cumulated memory: 79616 KiB

[startup+6.30038 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 16862
/proc/meminfo: memFree=6652680/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=178912 memory=122972 CPUtime=6.28 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 45728 0 0 0 588 40 0 0 20 0 1 0 57536332 183205888 30743 33554432000 4194304 5849740 140722190846368 140722190845688 5250855 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 44728 30743 630 405 0 41672 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 178912 KiB
Current children cumulated memory: 122972 KiB

[startup+12.7004 s]
/proc/loadavg: 2.15 2.08 2.07 3/187 16862
/proc/meminfo: memFree=6582264/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=282764 memory=200956 CPUtime=12.68 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 61468 0 0 0 1183 85 0 0 20 0 1 0 57536332 289550336 50239 33554432000 4194304 5849740 140722190846368 140722190845336 5262149 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 70691 50239 631 405 0 67635 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 282764 KiB
Current children cumulated memory: 200956 KiB

[startup+25.5094 s]
/proc/loadavg: 2.13 2.08 2.07 3/187 16862
/proc/meminfo: memFree=6400500/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=513148 memory=379108 CPUtime=25.49 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 84114 0 0 0 2370 179 0 0 20 0 1 0 57536332 525463552 94777 33554432000 4194304 5849740 140722190846368 140722190845672 139725616286720 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 128287 94777 631 405 0 125231 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 513148 KiB
Current children cumulated memory: 379108 KiB

[startup+51.1004 s]
/proc/loadavg: 2.08 2.07 2.06 3/187 16862
/proc/meminfo: memFree=6416092/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=567680 memory=502368 CPUtime=51.08 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 127132 0 0 0 4733 375 0 0 20 0 1 0 57536332 581304320 125592 33554432000 4194304 5849740 140722190846368 140722190845336 5249553 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 141920 125592 631 405 0 138864 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 567680 KiB
Current children cumulated memory: 502368 KiB

[startup+102.3 s]
/proc/loadavg: 2.04 2.06 2.06 3/187 16863
/proc/meminfo: memFree=5127116/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=3694708 memory=2642172 CPUtime=102.27 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 233107 0 0 0 9471 756 0 0 20 0 1 0 57536332 3783380992 660543 33554432000 4194304 5849740 140722190846368 140722190845688 5260674 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 923677 660543 662 405 0 920621 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 3694708 KiB
Current children cumulated memory: 2642172 KiB

[startup+162.3 s]
/proc/loadavg: 1.97 2.04 2.05 3/187 16925
/proc/meminfo: memFree=10773232/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=5157100 memory=3332768 CPUtime=162.26 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 262067 0 0 0 15283 943 0 0 20 0 1 0 57536332 5280870400 833192 33554432000 4194304 5849740 140722190846368 140722190844856 5319714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 1289275 833192 752 405 0 1286219 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 5157100 KiB
Current children cumulated memory: 3332768 KiB

[startup+222.3 s]
/proc/loadavg: 1.99 2.03 2.05 3/187 16926
/proc/meminfo: memFree=10010796/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=5157100 memory=3332836 CPUtime=222.27 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 279694 0 0 0 21283 944 0 0 20 0 1 0 57536332 5280870400 833209 33554432000 4194304 5849740 140722190846368 140722190844856 5319737 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 1289275 833209 753 405 0 1286219 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 5157100 KiB
Current children cumulated memory: 3332836 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 16935
/proc/meminfo: memFree=10324704/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=5091564 memory=3267328 CPUtime=282.26 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 363181 0 0 0 27275 951 0 0 20 0 1 0 57536332 5213761536 816832 33554432000 4194304 5849740 140722190846368 140722190844856 5354364 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 1272891 816832 759 405 0 1269835 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 5091564 KiB
Current children cumulated memory: 3267328 KiB

[startup+342.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/188 16936
/proc/meminfo: memFree=7024444/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=5064364 memory=3240128 CPUtime=342.27 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 455363 0 0 0 33238 989 0 0 20 0 1 0 57536332 5185908736 810032 33554432000 4194304 5849740 140722190846368 140722190845240 139725616308103 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 1266091 810032 759 405 0 1263035 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 5064364 KiB
Current children cumulated memory: 3240128 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 16937
/proc/meminfo: memFree=5879516/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=5057284 memory=3233048 CPUtime=402.26 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 534406 0 0 0 39194 1032 0 0 20 0 1 0 57536332 5178658816 808262 33554432000 4194304 5849740 140722190846368 140722190845368 139725616308103 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 1264321 808262 759 405 0 1261265 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 5057284 KiB
Current children cumulated memory: 3233048 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 16938
/proc/meminfo: memFree=5879960/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=5076036 memory=3251800 CPUtime=462.27 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 612776 0 0 0 45155 1072 0 0 20 0 1 0 57536332 5197860864 812950 33554432000 4194304 5849740 140722190846368 140722190844856 5319714 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 1269009 812950 759 405 0 1265953 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 5076036 KiB
Current children cumulated memory: 3251800 KiB


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

/proc/16861/statm: 1271263 815206 760 405 0 1268207 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 5085052 KiB
Current children cumulated memory: 3260824 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17001
/proc/meminfo: memFree=5898544/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=5076672 memory=3252444 CPUtime=1782.3 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 1971145 0 0 0 176639 1591 0 0 20 0 1 0 57536332 5198512128 813111 33554432000 4194304 5849740 140722190846368 140722190845528 5312596 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 1269168 813111 760 405 0 1266112 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 5076672 KiB
Current children cumulated memory: 3252444 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17002
/proc/meminfo: memFree=5918192/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=5056892 memory=3232664 CPUtime=1842.3 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 2034079 0 0 0 182599 1631 0 0 20 0 1 0 57536332 5178257408 808166 33554432000 4194304 5849740 140722190846368 140722190845368 5336630 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 1264223 808166 760 405 0 1261167 0
Current children cumulated CPU time: 1842.3 s
Current children cumulated vsize: 5056892 KiB
Current children cumulated memory: 3232664 KiB

[startup+1902.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/187 17003
/proc/meminfo: memFree=5918648/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=5056716 memory=3232488 CPUtime=1902.31 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 2103788 0 0 0 188557 1674 0 0 20 0 1 0 57536332 5178077184 808122 33554432000 4194304 5849740 140722190846368 140722190845368 5437819 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 1264179 808122 760 405 0 1261123 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 5056716 KiB
Current children cumulated memory: 3232488 KiB

[startup+1962.3 s]
/proc/loadavg: 2.38 2.14 2.09 3/187 17004
/proc/meminfo: memFree=5918812/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=5056508 memory=3232280 CPUtime=1962.3 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 2169345 0 0 0 194518 1712 0 0 20 0 1 0 57536332 5177864192 808070 33554432000 4194304 5849740 140722190846368 140722190845080 5437695 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 1264127 808070 760 405 0 1261071 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 5056508 KiB
Current children cumulated memory: 3232280 KiB

[startup+2022.3 s]
/proc/loadavg: 2.14 2.12 2.08 3/187 17005
/proc/meminfo: memFree=5918928/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=5056508 memory=3232280 CPUtime=2022.31 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 2230441 0 0 0 200474 1757 0 0 20 0 1 0 57536332 5177864192 808070 33554432000 4194304 5849740 140722190846368 140722190845368 5310502 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 1264127 808070 760 405 0 1261071 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 5056508 KiB
Current children cumulated memory: 3232280 KiB

[startup+2082.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/187 17013
/proc/meminfo: memFree=5959596/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=5015300 memory=3191072 CPUtime=2082.31 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 2278983 0 0 0 206439 1792 0 0 20 0 1 0 57536332 5135667200 797768 33554432000 4194304 5849740 140722190846368 140722190845368 5335566 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 1253825 797768 760 405 0 1250769 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 5015300 KiB
Current children cumulated memory: 3191072 KiB

[startup+2142.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 17014
/proc/meminfo: memFree=5959920/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=5015300 memory=3191072 CPUtime=2142.3 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 2324958 0 0 0 212405 1825 0 0 20 0 1 0 57536332 5135667200 797768 33554432000 4194304 5849740 140722190846368 140722190845240 139725616308103 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 1253825 797768 760 405 0 1250769 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 5015300 KiB
Current children cumulated memory: 3191072 KiB

[startup+2202.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 17015
/proc/meminfo: memFree=5960496/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=5015060 memory=3190832 CPUtime=2202.31 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 2369798 0 0 0 218367 1864 0 0 20 0 1 0 57536332 5135421440 797708 33554432000 4194304 5849740 140722190846368 140722190845016 139725616308103 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 1253765 797708 760 405 0 1250709 0
Current children cumulated CPU time: 2202.31 s
Current children cumulated vsize: 5015060 KiB
Current children cumulated memory: 3190832 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 17016
/proc/meminfo: memFree=5960684/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=5015060 memory=3190832 CPUtime=2262.31 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 2410873 0 0 0 224330 1901 0 0 20 0 1 0 57536332 5135421440 797708 33554432000 4194304 5849740 140722190846368 140722190845240 5335529 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 1253765 797708 760 405 0 1250709 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 5015060 KiB
Current children cumulated memory: 3190832 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 17017
/proc/meminfo: memFree=5961088/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=5014812 memory=3190584 CPUtime=2322.31 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 2460894 0 0 0 230296 1935 0 0 20 0 1 0 57536332 5135167488 797646 33554432000 4194304 5849740 140722190846368 140722190845368 139725616308103 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 1253703 797646 760 405 0 1250647 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 5014812 KiB
Current children cumulated memory: 3190584 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 17018
/proc/meminfo: memFree=5961096/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=5014812 memory=3190584 CPUtime=2382.31 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 2505981 0 0 0 236261 1970 0 0 20 0 1 0 57536332 5135167488 797646 33554432000 4194304 5849740 140722190846368 140722190845368 139725616308103 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 1253703 797646 760 405 0 1250647 0
Current children cumulated CPU time: 2382.31 s
Current children cumulated vsize: 5014812 KiB
Current children cumulated memory: 3190584 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 17019
/proc/meminfo: memFree=5956988/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=5014812 memory=3190584 CPUtime=2442.32 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 2546756 0 0 0 242230 2002 0 0 20 0 1 0 57536332 5135167488 797646 33554432000 4194304 5849740 140722190846368 140722190845368 139725616308103 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 1253703 797646 760 405 0 1250647 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 5014812 KiB
Current children cumulated memory: 3190584 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 17020
/proc/meminfo: memFree=5957276/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=5014656 memory=3190428 CPUtime=2502.32 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 2596675 0 0 0 248194 2038 0 0 20 0 1 0 57536332 5135007744 797607 33554432000 4194304 5849740 140722190846368 140722190845368 5335512 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 1253664 797607 760 405 0 1250608 0
Current children cumulated CPU time: 2502.32 s
Current children cumulated vsize: 5014656 KiB
Current children cumulated memory: 3190428 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 17020
/proc/meminfo: memFree=5957724/32770624 swapFree=67108860/67108860
[pid=16861] ppid=16858 vsize=5014656 memory=3190428 CPUtime=2520.02 cores=1,3,5,7
/proc/16861/stat : 16861 (xcsp_picat) R 16858 16861 13954 0 -1 4202496 2609615 0 0 0 249953 2049 0 0 20 0 1 0 57536332 5135007744 797607 33554432000 4194304 5849740 140722190846368 140722190845368 139725616308103 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 21422080 140722190853302 140722190853380 140722190853380 140722190856138 0
/proc/16861/statm: 1253664 797607 760 405 0 1250608 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 5014656 KiB
Current children cumulated memory: 3190428 KiB

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

[startup+2520.01 s]
# the end of solver process 16861 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2499.53 s, system=20.5073 s

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2520.04
CPU user time (s): 2499.53
CPU system time (s): 20.5073
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 6912300
Max. memory (cumulated for all children) (KiB): 4825480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2499.53
system time used= 20.5073
maximum resident set size= 4825480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2609615
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= 4
involuntary context switches= 923


# summary of solver processes directly reported to runsolver:
#   pid: 16861
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2499.53
#   total CPU system time (s): 20.5073

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.91516 second user time and 17.3646 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-24 04:35:32
IDJOB=4293932
IDBENCH=141267
IDSOLVER=2754
FILE ID=node137/4293932-1532399731
RUNJOBID= node137-1532369589-13986
PBS_JOBID= 21021571
Free space on /tmp= 48416 MiB

SOLVER NAME= PicatSAT 2018-06-15
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-test02-0250_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293932-1532399731/watcher-4293932-1532399731 -o /tmp/evaluation-result-4293932-1532399731/solver-4293932-1532399731 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532369589-13986 --watchdog 2580  xcsp_picat HOME/instance-4293932-1532399731.xml

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

MD5SUM BENCH= 2354d9b784d04df982f0d1b4068abd13
RANDOM SEED=833187555

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         6778736 kB
MemAvailable:   24500472 kB
Buffers:          197892 kB
Cached:         17467504 kB
SwapCached:            0 kB
Active:          8662036 kB
Inactive:       16479696 kB
Active(anon):    6514748 kB
Inactive(anon):   981080 kB
Active(file):    2147288 kB
Inactive(file): 15498616 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             98980 kB
Writeback:             0 kB
AnonPages:       7483140 kB
Mapped:            40260 kB
Shmem:             17036 kB
Slab:             532272 kB
SReclaimable:     504292 kB
SUnreclaim:        27980 kB
KernelStack:        3312 kB
PageTables:        19648 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:   10588632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5900288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 48480 MiB
End job on node137 at 2018-07-24 05:17:32