Trace number 4395667

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 2019-09-12? (TO) 2400.1 2400.24

General information on the benchmark

NameFapp/Fapp-ext/
Fapp-ext-05-0350_c18.xml
MD5SUM51b7f32ab0afbf3da7a228f765e579fa
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark521763735
Best CPU time to get the best result obtained on this benchmark2400.14
Satisfiable
(Un)Satisfiability was proved
Number of variables7232
Number of constraints4665
Number of domains18
Minimum domain size1
Maximum domain size135
Distribution of domain sizes[{"size":1,"count":3},{"size":2,"count":2524},{"size":11,"count":2177},{"size":12,"count":1},{"size":25,"count":55},{"size":33,"count":45},{"size":44,"count":26},{"size":48,"count":22},{"size":51,"count":17},{"size":55,"count":31},{"size":91,"count":204},{"size":102,"count":203},{"size":106,"count":126},{"size":135,"count":1798}]
Minimum variable degree2
Maximum variable degree2178
Distribution of variable degrees[{"degree":2,"count":6532},{"degree":3,"count":5},{"degree":4,"count":7},{"degree":5,"count":11},{"degree":6,"count":11},{"degree":7,"count":19},{"degree":8,"count":26},{"degree":9,"count":28},{"degree":10,"count":31},{"degree":11,"count":40},{"degree":12,"count":48},{"degree":13,"count":50},{"degree":14,"count":80},{"degree":15,"count":109},{"degree":16,"count":148},{"degree":17,"count":81},{"degree":18,"count":2},{"degree":19,"count":2},{"degree":21,"count":1},{"degree":2178,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":311},{"arity":3,"count":2177},{"arity":6,"count":2177}]
Number of extensional constraints4665
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":4665}]
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 (6240 MiB free)
  memory of node 1: 16384 MiB (11822 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395667-1568350879/watcher-4395667-1568350879 -o /tmp/evaluation-result-4395667-1568350879/solver-4395667-1568350879 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568337054-3912 --watchdog 2560 xcsp_picat HOME/instance-4395667-1568350879.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=7242, runsolver pid=7239
Current StackSize limit: 8192 KiB


[startup+0.100674 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 7243
/proc/meminfo: memFree=18480780/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=2031716 memory=19676 CPUtime=0.09 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 2064 0 0 0 9 0 0 0 20 0 1 0 411003058 2080477184 4919 33554432000 4194304 5870510 140723256309760 140723256309064 139759693687808 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 507929 4919 839 410 0 503402 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 19676 KiB

[startup+0.209976 s]*
/proc/loadavg: 2.00 2.01 2.05 4/200 7243
/proc/meminfo: memFree=18474744/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=2031716 memory=25820 CPUtime=0.21 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 2067 0 0 0 20 1 0 0 20 0 1 0 411003058 2080477184 6455 33554432000 4194304 5870510 140723256309760 140723256309064 139759693687808 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 507929 6455 839 410 0 503402 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 25820 KiB

[startup+0.309409 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 7243
/proc/meminfo: memFree=18468600/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=2031716 memory=32196 CPUtime=0.31 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 2070 0 0 0 30 1 0 0 20 0 1 0 411003058 2080477184 8049 33554432000 4194304 5870510 140723256309760 140723256309064 139759693687808 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 507929 8049 844 410 0 503402 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 32196 KiB

[startup+0.700262 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7243
/proc/meminfo: memFree=18457988/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=2031716 memory=54724 CPUtime=0.68 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 2081 0 0 0 67 1 0 0 20 0 1 0 411003058 2080477184 13681 33554432000 4194304 5870510 140723256309760 140723256309064 139759693687808 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 507929 13681 844 410 0 503402 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 54724 KiB

[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7243
/proc/meminfo: memFree=18429244/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=2031716 memory=99780 CPUtime=1.49 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 2103 0 0 0 147 2 0 0 20 0 1 0 411003058 2080477184 24945 33554432000 4194304 5870510 140723256309760 140723256309064 139759693687808 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 507929 24945 844 410 0 503402 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 99780 KiB

[startup+3.1096 s]
/proc/loadavg: 1.92 2.00 2.04 3/200 7243
/proc/meminfo: memFree=18314556/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=2031716 memory=189892 CPUtime=3.09 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 2231 0 0 0 306 3 0 0 20 0 1 0 411003058 2080477184 47473 33554432000 4194304 5870510 140723256309760 140723256309064 4461503 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 507929 47473 844 410 0 503402 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 189892 KiB

[startup+6.30032 s]
/proc/loadavg: 1.92 2.00 2.04 3/200 7243
/proc/meminfo: memFree=18095656/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=2031716 memory=370116 CPUtime=6.28 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 2408 0 0 0 622 6 0 0 20 0 1 0 411003058 2080477184 92529 33554432000 4194304 5870510 140723256309760 140723256309064 139759693687808 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 507929 92529 844 410 0 503402 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 370116 KiB

[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.05 3/200 7243
/proc/meminfo: memFree=17789912/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=2031716 memory=732612 CPUtime=12.68 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 2693 0 0 0 1256 12 0 0 20 0 1 0 411003058 2080477184 183153 33554432000 4194304 5870510 140723256309760 140723256309064 139759693687808 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 507929 183153 844 410 0 503402 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 732612 KiB

[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.05 3/201 7267
/proc/meminfo: memFree=17041060/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=2031716 memory=1457604 CPUtime=25.49 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 3087 0 0 0 2525 24 0 0 20 0 1 0 411003058 2080477184 364401 33554432000 4194304 5870510 140723256309760 140723256309064 139759693687808 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 507929 364401 844 410 0 503402 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2031716 KiB
Current children cumulated memory: 1457604 KiB

[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 7269
/proc/meminfo: memFree=16448716/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=4136512 memory=2962764 CPUtime=51.09 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 6013 0 0 0 5061 48 0 0 20 0 1 0 411003058 4235788288 740691 33554432000 4194304 5870510 140723256309760 140723256309064 4520537 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 1034128 740691 849 410 0 1029601 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 4136512 KiB
Current children cumulated memory: 2962764 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 7273
/proc/meminfo: memFree=14968760/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=4184404 memory=4046952 CPUtime=102.29 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 12065 0 0 0 10110 119 0 0 20 0 1 0 411003058 4284829696 1011738 33554432000 4194304 5870510 140723256309760 140723256309080 5246194 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 1046101 1011738 850 410 0 1041574 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 4184404 KiB
Current children cumulated memory: 4046952 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 7277
/proc/meminfo: memFree=16641808/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=4196644 memory=2424884 CPUtime=162.28 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 31135 0 0 0 15838 390 0 0 20 0 1 0 411003058 4297363456 606221 33554432000 4194304 5870510 140723256309760 140723256308728 5245088 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 1049161 606221 850 410 0 1044634 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 4196644 KiB
Current children cumulated memory: 2424884 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 7283
/proc/meminfo: memFree=14460948/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=4204708 memory=4101588 CPUtime=222.28 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 65812 0 0 0 21312 916 0 0 20 0 1 0 411003058 4305620992 1025397 33554432000 4194304 5870510 140723256309760 140723256308728 139759693687808 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 1051177 1025397 850 410 0 1046650 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 4204708 KiB
Current children cumulated memory: 4101588 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7287
/proc/meminfo: memFree=14682292/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=4212424 memory=3871876 CPUtime=282.28 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 103650 0 0 0 26759 1469 0 0 20 0 1 0 411003058 4313522176 967969 33554432000 4194304 5870510 140723256309760 140723256308728 5246749 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 1053106 967969 850 410 0 1048579 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 4212424 KiB
Current children cumulated memory: 3871876 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7291
/proc/meminfo: memFree=15740372/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=4220132 memory=3144788 CPUtime=342.29 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 141990 0 0 0 32233 1996 0 0 20 0 1 0 411003058 4321415168 786197 33554432000 4194304 5870510 140723256309760 140723256308728 5246250 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 1055033 786197 850 410 0 1050506 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 4220132 KiB
Current children cumulated memory: 3144788 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7297
/proc/meminfo: memFree=15973724/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=4226752 memory=2601652 CPUtime=402.28 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 178929 0 0 0 37698 2530 0 0 20 0 1 0 411003058 4328194048 650413 33554432000 4194304 5870510 140723256309760 140723256308728 5246250 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 1056688 650413 850 410 0 1052161 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 4226752 KiB
Current children cumulated memory: 2601652 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7301
/proc/meminfo: memFree=12766708/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=6412412 memory=6284184 CPUtime=462.28 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 197956 0 0 0 43477 2751 0 0 20 0 1 0 411003058 6566309888 1571046 33554432000 4194304 5870510 140723256309760 140723256309080 5355029 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 1603103 1571046 903 410 0 1598576 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 6412412 KiB
Current children cumulated memory: 6284184 KiB


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

/proc/7242/statm: 3531550 2644647 903 410 0 3527023 0
Current children cumulated CPU time: 1602.2 s
Current children cumulated vsize: 14126200 KiB
Current children cumulated memory: 10578588 KiB

[startup+1662.3 s]
/proc/loadavg: 1.83 1.94 2.02 3/199 7414
/proc/meminfo: memFree=3533032/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=14131412 memory=14004400 CPUtime=1662.17 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 11193486 0 0 0 158264 7953 0 0 20 0 1 0 411003058 14470565888 3501100 33554432000 4194304 5870510 140723256309760 140723256308728 5355029 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 3532853 3501100 903 410 0 3528326 0
Current children cumulated CPU time: 1662.17 s
Current children cumulated vsize: 14131412 KiB
Current children cumulated memory: 14004400 KiB

[startup+1722.3 s]
/proc/loadavg: 1.94 1.95 2.02 3/199 7418
/proc/meminfo: memFree=3520116/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=14138392 memory=14013428 CPUtime=1722.16 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 11218117 0 0 0 163840 8376 0 0 20 0 1 0 411003058 14477713408 3503357 33554432000 4194304 5870510 140723256309760 140723256308728 5355029 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 3534598 3503357 903 410 0 3530071 0
Current children cumulated CPU time: 1722.16 s
Current children cumulated vsize: 14138392 KiB
Current children cumulated memory: 14013428 KiB

[startup+1782.3 s]
/proc/loadavg: 1.98 1.96 2.02 3/199 7429
/proc/meminfo: memFree=4000672/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=14147072 memory=8768812 CPUtime=1782.17 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 11245461 0 0 0 169386 8831 0 0 20 0 1 0 411003058 14486601728 2192203 33554432000 4194304 5870510 140723256309760 140723256308728 5246718 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 3536768 2192203 903 410 0 3532241 0
Current children cumulated CPU time: 1782.17 s
Current children cumulated vsize: 14147072 KiB
Current children cumulated memory: 8768812 KiB

[startup+1842.3 s]
/proc/loadavg: 1.99 1.97 2.02 3/200 7435
/proc/meminfo: memFree=8654400/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=14155420 memory=8998520 CPUtime=1842.17 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 11270196 0 0 0 174953 9264 0 0 20 0 1 0 411003058 14495150080 2249630 33554432000 4194304 5870510 140723256309760 140723256308728 5245088 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 3538855 2249630 903 410 0 3534328 0
Current children cumulated CPU time: 1842.17 s
Current children cumulated vsize: 14155420 KiB
Current children cumulated memory: 8998520 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 1.97 2.02 3/199 7439
/proc/meminfo: memFree=8510276/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=14161992 memory=9144356 CPUtime=1902.17 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 11294941 0 0 0 180518 9699 0 0 20 0 1 0 411003058 14501879808 2286089 33554432000 4194304 5870510 140723256309760 140723256308728 5246250 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 3540498 2286089 903 410 0 3535971 0
Current children cumulated CPU time: 1902.17 s
Current children cumulated vsize: 14161992 KiB
Current children cumulated memory: 9144356 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 1.98 2.02 3/199 7443
/proc/meminfo: memFree=8296436/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=14168940 memory=9360200 CPUtime=1962.16 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 11319818 0 0 0 186089 10127 0 0 20 0 1 0 411003058 14508994560 2340050 33554432000 4194304 5870510 140723256309760 140723256308728 5246600 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 3542235 2340050 903 410 0 3537708 0
Current children cumulated CPU time: 1962.16 s
Current children cumulated vsize: 14168940 KiB
Current children cumulated memory: 9360200 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 1.98 2.02 3/199 7449
/proc/meminfo: memFree=8148288/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=14175916 memory=9506440 CPUtime=2022.17 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 11344165 0 0 0 191673 10544 0 0 20 0 1 0 411003058 14516137984 2376610 33554432000 4194304 5870510 140723256309760 140723256308728 5245079 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 3543979 2376610 903 410 0 3539452 0
Current children cumulated CPU time: 2022.17 s
Current children cumulated vsize: 14175916 KiB
Current children cumulated memory: 9506440 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/199 7453
/proc/meminfo: memFree=8003188/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=14182860 memory=9646504 CPUtime=2082.17 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 11368900 0 0 0 197255 10962 0 0 20 0 1 0 411003058 14523248640 2411626 33554432000 4194304 5870510 140723256309760 140723256308728 5246600 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 3545715 2411626 903 410 0 3541188 0
Current children cumulated CPU time: 2082.17 s
Current children cumulated vsize: 14182860 KiB
Current children cumulated memory: 9646504 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/199 7457
/proc/meminfo: memFree=7902116/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=14189812 memory=9749712 CPUtime=2142.17 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 11393617 0 0 0 202816 11401 0 0 20 0 1 0 411003058 14530367488 2437428 33554432000 4194304 5870510 140723256309760 140723256308728 5246749 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 3547453 2437428 903 410 0 3542926 0
Current children cumulated CPU time: 2142.17 s
Current children cumulated vsize: 14189812 KiB
Current children cumulated memory: 9749712 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/200 7463
/proc/meminfo: memFree=7831768/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=14196788 memory=9818128 CPUtime=2202.16 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 11418338 0 0 0 208381 11835 0 0 20 0 1 0 411003058 14537510912 2454532 33554432000 4194304 5870510 140723256309760 140723256308728 5246343 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 3549197 2454532 903 410 0 3544670 0
Current children cumulated CPU time: 2202.16 s
Current children cumulated vsize: 14196788 KiB
Current children cumulated memory: 9818128 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/199 7467
/proc/meminfo: memFree=7797476/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=14203732 memory=9853744 CPUtime=2262.15 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 11444964 0 0 0 213960 12255 0 0 20 0 1 0 411003058 14544621568 2463436 33554432000 4194304 5870510 140723256309760 140723256308728 5246284 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 3550933 2463436 903 410 0 3546406 0
Current children cumulated CPU time: 2262.15 s
Current children cumulated vsize: 14203732 KiB
Current children cumulated memory: 9853744 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/199 7471
/proc/meminfo: memFree=7830452/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=14210680 memory=9819732 CPUtime=2322.15 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 11469513 0 0 0 219522 12693 0 0 20 0 1 0 411003058 14551736320 2454933 33554432000 4194304 5870510 140723256309760 140723256308728 5245088 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 3552670 2454933 903 410 0 3548143 0
Current children cumulated CPU time: 2322.15 s
Current children cumulated vsize: 14210680 KiB
Current children cumulated memory: 9819732 KiB

[startup+2382.3 s]
/proc/loadavg: 1.51 1.86 1.98 2/195 7532
/proc/meminfo: memFree=13188128/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=14217952 memory=10255036 CPUtime=2382.15 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 11487337 0 0 0 225208 13007 0 0 20 0 1 0 411003058 14559182848 2563759 33554432000 4194304 5870510 140723256309760 140723256308728 5246367 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 3554488 2563759 903 410 0 3549961 0
Current children cumulated CPU time: 2382.15 s
Current children cumulated vsize: 14217952 KiB
Current children cumulated memory: 10255036 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.2 s]
/proc/loadavg: 1.40 1.82 1.96 2/194 7532
/proc/meminfo: memFree=12038256/32770624 swapFree=66939828/67108860
[pid=7242] ppid=7239 vsize=14219688 memory=11362692 CPUtime=2400.05 cores=1,3,5,7
/proc/7242/stat : 7242 (xcsp_picat) R 7239 7242 3880 0 -1 4202496 11497329 0 0 0 226885 13120 0 0 20 0 1 0 411003058 14560960512 2840673 33554432000 4194304 5870510 140723256309760 140723256308728 5246367 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7970040 9572284 44896256 140723256316959 140723256317037 140723256317037 140723256319946 0
/proc/7242/statm: 3554922 2840673 903 410 0 3550395 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14219688 KiB
Current children cumulated memory: 11362692 KiB

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

[startup+2400.24 s]
# the end of solver process 7242 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2268.86 s, system=131.243 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): 2400.24
CPU time (s): 2400.1
CPU user time (s): 2268.86
CPU system time (s): 131.243
CPU usage (%): 99.9943
Max. virtual memory (cumulated for all children) (KiB): 14253608
Max. memory (cumulated for all children) (KiB): 14117564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2268.86
system time used= 131.243
maximum resident set size= 14117576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11497329
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= 2157


# summary of solver processes directly reported to runsolver:
#   pid: 7242
#   total CPU time (s): 2400.1
#   total CPU user time (s): 2268.86
#   total CPU system time (s): 131.243

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.113 second user time and 18.8581 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-13 07:00:42
IDJOB=4395667
IDBENCH=141284
IDSOLVER=2845
FILE ID=node119/4395667-1568350879
RUNJOBID= node119-1568337054-3912
PBS_JOBID= 21701164
Free space on /tmp= 56628 MiB

SOLVER NAME= PicatSAT 2019-09-12
BENCH NAME= XCSP18/Fapp/Fapp-ext/Fapp-ext-05-0350_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4395667-1568350879/watcher-4395667-1568350879 -o /tmp/evaluation-result-4395667-1568350879/solver-4395667-1568350879 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568337054-3912 --watchdog 2560  xcsp_picat HOME/instance-4395667-1568350879.xml

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

MD5SUM BENCH= 51b7f32ab0afbf3da7a228f765e579fa
RANDOM SEED=1675149082

node119.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.47
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.47
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.47
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.47
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:        18497052 kB
MemAvailable:   28634968 kB
Buffers:          180672 kB
Cached:         10146488 kB
SwapCached:        61088 kB
Active:          6078984 kB
Inactive:        7474360 kB
Active(anon):    3164908 kB
Inactive(anon):   102688 kB
Active(file):    2914076 kB
Inactive(file):  7371672 kB
Unevictable:      107476 kB
Mlocked:          107476 kB
SwapTotal:      67108860 kB
SwapFree:       66939828 kB
Dirty:            586760 kB
Writeback:           252 kB
AnonPages:       3266124 kB
Mapped:            45964 kB
Shmem:             32808 kB
Slab:             310680 kB
SReclaimable:     280628 kB
SUnreclaim:        30052 kB
KernelStack:        3488 kB
PageTables:        11956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3792432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3213312 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 56696 MiB
End job on node119 at 2019-09-13 07:40:42