Trace number 4303517

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) 2519.93 2520.02

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay400_c18.xml
MD5SUMb20be86eed1a54c36d145f853cc0c945
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2501073
Best CPU time to get the best result obtained on this benchmark2520.03
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints400
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree40
Distribution of variable degrees[{"degree":2,"count":289},{"degree":3,"count":388},{"degree":4,"count":306},{"degree":5,"count":228},{"degree":6,"count":177},{"degree":7,"count":144},{"degree":8,"count":94},{"degree":9,"count":75},{"degree":10,"count":72},{"degree":11,"count":50},{"degree":12,"count":41},{"degree":13,"count":35},{"degree":14,"count":25},{"degree":15,"count":25},{"degree":16,"count":8},{"degree":17,"count":7},{"degree":18,"count":9},{"degree":19,"count":3},{"degree":20,"count":7},{"degree":21,"count":5},{"degree":22,"count":3},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":29,"count":1},{"degree":32,"count":1},{"degree":40,"count":1}]
Minimum constraint arity12
Maximum constraint arity37
Distribution of constraint arities[{"arity":12,"count":1},{"arity":13,"count":2},{"arity":14,"count":5},{"arity":15,"count":4},{"arity":16,"count":5},{"arity":17,"count":17},{"arity":18,"count":18},{"arity":19,"count":18},{"arity":20,"count":18},{"arity":21,"count":33},{"arity":22,"count":38},{"arity":23,"count":36},{"arity":24,"count":35},{"arity":25,"count":32},{"arity":26,"count":31},{"arity":27,"count":21},{"arity":28,"count":23},{"arity":29,"count":10},{"arity":30,"count":16},{"arity":31,"count":8},{"arity":32,"count":12},{"arity":33,"count":4},{"arity":34,"count":4},{"arity":35,"count":5},{"arity":36,"count":3},{"arity":37,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":400}]
Optimization problemYES
Type of objectivemax 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 (1231 MiB free)
  memory of node 1: 16384 MiB (285 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303517-1533998523/watcher-4303517-1533998523 -o /tmp/evaluation-result-4303517-1533998523/solver-4303517-1533998523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1533993481-21560 --watchdog 2580 xcsp_picat HOME/instance-4303517-1533998523.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=22077, runsolver pid=22074
Current StackSize limit: 8192 KiB


[startup+0.100167 s]*
/proc/loadavg: 1.94 2.01 2.04 3/188 22078
/proc/meminfo: memFree=1528240/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2025744 memory=33904 CPUtime=0.1 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 1990 0 0 0 10 0 0 0 20 0 1 0 217415496 2074361856 8476 33554432000 4194304 5849708 140729029232720 140729029232024 4486474 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 506436 8476 637 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 33904 KiB

[startup+0.20978 s]*
/proc/loadavg: 1.94 2.01 2.04 3/188 22078
/proc/meminfo: memFree=1520048/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2025744 memory=36284 CPUtime=0.21 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 2081 0 0 0 21 0 0 0 20 0 1 0 217415496 2074361856 9071 33554432000 4194304 5849708 140729029232720 140729029232024 140364503940999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 506436 9071 710 405 0 503381 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 36284 KiB

[startup+0.309486 s]*
/proc/loadavg: 1.94 2.01 2.04 3/188 22078
/proc/meminfo: memFree=1520048/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2025744 memory=36284 CPUtime=0.31 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 2083 0 0 0 31 0 0 0 20 0 1 0 217415496 2074361856 9071 33554432000 4194304 5849708 140729029232720 140729029232024 5521478 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 506436 9071 710 405 0 503381 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 36284 KiB

[startup+0.700277 s]
/proc/loadavg: 1.94 2.01 2.04 3/188 22078
/proc/meminfo: memFree=1520048/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2025880 memory=36284 CPUtime=0.69 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 2101 0 0 0 69 0 0 0 20 0 1 0 217415496 2074501120 9071 33554432000 4194304 5849708 140729029232720 140729029232024 5471837 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 506470 9071 710 405 0 503415 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025880 KiB
Current children cumulated memory: 36284 KiB

[startup+1.50027 s]
/proc/loadavg: 1.94 2.01 2.04 3/188 22078
/proc/meminfo: memFree=1519676/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2025880 memory=36284 CPUtime=1.49 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 2101 0 0 0 149 0 0 0 20 0 1 0 217415496 2074501120 9071 33554432000 4194304 5849708 140729029232720 140729029231816 5606238 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 506470 9071 710 405 0 503415 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025880 KiB
Current children cumulated memory: 36284 KiB

[startup+3.10889 s]
/proc/loadavg: 1.94 2.01 2.04 3/188 22078
/proc/meminfo: memFree=1519692/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2025976 memory=36532 CPUtime=3.1 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 2206 0 0 0 310 0 0 0 20 0 1 0 217415496 2074599424 9133 33554432000 4194304 5849708 140729029232720 140729029231816 5521478 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 506494 9133 711 405 0 503439 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2025976 KiB
Current children cumulated memory: 36532 KiB

[startup+6.30021 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 22139
/proc/meminfo: memFree=1768712/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2025976 memory=36612 CPUtime=6.29 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 2287 0 0 0 629 0 0 0 20 0 1 0 217415496 2074599424 9153 33554432000 4194304 5849708 140729029232720 140729029231816 5606123 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 506494 9153 711 405 0 503439 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2025976 KiB
Current children cumulated memory: 36612 KiB

[startup+12.7002 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 22139
/proc/meminfo: memFree=1768308/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2026048 memory=36652 CPUtime=12.68 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 2581 0 0 0 1268 0 0 0 20 0 1 0 217415496 2074673152 9163 33554432000 4194304 5849708 140729029232720 140729029231816 140364503940999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 506512 9163 711 405 0 503457 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2026048 KiB
Current children cumulated memory: 36652 KiB

[startup+25.5003 s]
/proc/loadavg: 1.94 2.01 2.04 3/188 22139
/proc/meminfo: memFree=1707472/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2057024 memory=67620 CPUtime=25.49 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 22615 0 0 0 2543 6 0 0 20 0 1 0 217415496 2106392576 16905 33554432000 4194304 5849708 140729029232720 140729029231592 140364503940999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 514256 16905 744 405 0 511201 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2057024 KiB
Current children cumulated memory: 67620 KiB

[startup+51.1094 s]
/proc/loadavg: 1.96 2.01 2.04 3/188 22139
/proc/meminfo: memFree=1711768/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2054420 memory=65064 CPUtime=51.1 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 36024 0 0 0 5087 23 0 0 20 0 1 0 217415496 2103726080 16266 33554432000 4194304 5849708 140729029232720 140729029230984 140364503940999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 513605 16266 744 405 0 510550 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2054420 KiB
Current children cumulated memory: 65064 KiB

[startup+102.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/188 22140
/proc/meminfo: memFree=1708356/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2056180 memory=67112 CPUtime=102.28 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 48854 0 0 0 10173 55 0 0 20 0 1 0 217415496 2105528320 16778 33554432000 4194304 5849708 140729029232720 140729029231592 140364503940999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 514045 16778 744 405 0 510990 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2056180 KiB
Current children cumulated memory: 67112 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/188 22141
/proc/meminfo: memFree=1661704/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2078356 memory=91128 CPUtime=162.28 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 54130 0 0 0 16141 87 0 0 20 0 1 0 217415496 2128236544 22782 33554432000 4194304 5849708 140729029232720 140729029231208 5339679 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 519589 22782 744 405 0 516534 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2078356 KiB
Current children cumulated memory: 91128 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 22142
/proc/meminfo: memFree=1638512/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2093216 memory=103852 CPUtime=222.28 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 56391 0 0 0 22110 118 0 0 20 0 1 0 217415496 2143453184 25963 33554432000 4194304 5849708 140729029232720 140729029231112 5361375 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 523304 25963 744 405 0 520249 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2093216 KiB
Current children cumulated memory: 103852 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 22143
/proc/meminfo: memFree=1630104/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2093620 memory=106596 CPUtime=282.28 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 65459 0 0 0 28079 149 0 0 20 0 1 0 217415496 2143866880 26649 33554432000 4194304 5849708 140729029232720 140729029231720 140364503940999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 523405 26649 744 405 0 520350 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2093620 KiB
Current children cumulated memory: 106596 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 22144
/proc/meminfo: memFree=1620604/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2093568 memory=106544 CPUtime=342.27 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 73411 0 0 0 34043 184 0 0 20 0 1 0 217415496 2143813632 26636 33554432000 4194304 5849708 140729029232720 140729029231720 140364503940999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 523392 26636 744 405 0 520337 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2093568 KiB
Current children cumulated memory: 106544 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 22145
/proc/meminfo: memFree=1602000/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2111700 memory=124676 CPUtime=402.27 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 84967 0 0 0 40013 214 0 0 20 0 1 0 217415496 2162380800 31169 33554432000 4194304 5849708 140729029232720 140729029231720 5437592 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 527925 31169 744 405 0 524870 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2111700 KiB
Current children cumulated memory: 124676 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 22146
/proc/meminfo: memFree=1575716/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2111876 memory=124744 CPUtime=462.27 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 89719 0 0 0 45982 245 0 0 20 0 1 0 217415496 2162561024 31186 33554432000 4194304 5849708 140729029232720 140729029231720 140364503940999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 527969 31186 744 405 0 524914 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2111876 KiB
Current children cumulated memory: 124744 KiB


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

/proc/22077/statm: 539696 42940 744 405 0 536641 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 2158784 KiB
Current children cumulated memory: 171760 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 22216
/proc/meminfo: memFree=1468672/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2183620 memory=196440 CPUtime=1782.23 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 352225 0 0 0 177433 790 0 0 20 0 1 0 217415496 2236026880 49110 33554432000 4194304 5849708 140729029232720 140729029231720 140364503940999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 545905 49110 744 405 0 542850 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 2183620 KiB
Current children cumulated memory: 196440 KiB

[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 22217
/proc/meminfo: memFree=1478320/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2173472 memory=186344 CPUtime=1842.23 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 374350 0 0 0 183414 809 0 0 20 0 1 0 217415496 2225635328 46586 33554432000 4194304 5849708 140729029232720 140729029231720 140364503940999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 543368 46586 744 405 0 540313 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 2173472 KiB
Current children cumulated memory: 186344 KiB

[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 22218
/proc/meminfo: memFree=1540792/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2151884 memory=164704 CPUtime=1902.22 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 380616 0 0 0 189393 829 0 0 20 0 1 0 217415496 2203529216 41176 33554432000 4194304 5849708 140729029232720 140729029231720 5438261 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 537971 41176 744 405 0 534916 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 2151884 KiB
Current children cumulated memory: 164704 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 22219
/proc/meminfo: memFree=1495480/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2186796 memory=199772 CPUtime=1962.22 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 399685 0 0 0 195372 850 0 0 20 0 1 0 217415496 2239279104 49943 33554432000 4194304 5849708 140729029232720 140729029231720 140364503940999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 546699 49943 744 405 0 543644 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 2186796 KiB
Current children cumulated memory: 199772 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22220
/proc/meminfo: memFree=1444364/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2202432 memory=215408 CPUtime=2022.22 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 406846 0 0 0 201350 872 0 0 20 0 1 0 217415496 2255290368 53852 33554432000 4194304 5849708 140729029232720 140729029231720 140364503940999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 550608 53852 744 405 0 547553 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 2202432 KiB
Current children cumulated memory: 215408 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22221
/proc/meminfo: memFree=1430576/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2199452 memory=212412 CPUtime=2082.22 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 423058 0 0 0 207328 894 0 0 20 0 1 0 217415496 2252238848 53103 33554432000 4194304 5849708 140729029232720 140729029231720 140364503940999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 549863 53103 744 405 0 546808 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 2199452 KiB
Current children cumulated memory: 212412 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22222
/proc/meminfo: memFree=1470716/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2159196 memory=171948 CPUtime=2142.21 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 429572 0 0 0 213311 910 0 0 20 0 1 0 217415496 2211016704 42987 33554432000 4194304 5849708 140729029232720 140729029231720 140364503940999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 539799 42987 744 405 0 536744 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 2159196 KiB
Current children cumulated memory: 171948 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22223
/proc/meminfo: memFree=1455052/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2152548 memory=165320 CPUtime=2202.21 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 447593 0 0 0 219291 930 0 0 20 0 1 0 217415496 2204209152 41330 33554432000 4194304 5849708 140729029232720 140729029231720 5438246 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 538137 41330 744 405 0 535082 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 2152548 KiB
Current children cumulated memory: 165320 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 22224
/proc/meminfo: memFree=1454604/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2218416 memory=231388 CPUtime=2262.21 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 456585 0 0 0 225270 951 0 0 20 0 1 0 217415496 2271657984 57847 33554432000 4194304 5849708 140729029232720 140729029231720 5438085 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 554604 57847 744 405 0 551549 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 2218416 KiB
Current children cumulated memory: 231388 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22233
/proc/meminfo: memFree=1308184/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2187860 memory=200836 CPUtime=2322.2 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 473604 0 0 0 231248 972 0 0 20 0 1 0 217415496 2240368640 50209 33554432000 4194304 5849708 140729029232720 140729029231720 5437714 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 546965 50209 744 405 0 543910 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 2187860 KiB
Current children cumulated memory: 200836 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22234
/proc/meminfo: memFree=1298256/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2187988 memory=200964 CPUtime=2382.21 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 478394 0 0 0 237230 991 0 0 20 0 1 0 217415496 2240499712 50241 33554432000 4194304 5849708 140729029232720 140729029231592 5416485 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 546997 50241 744 405 0 543942 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 2187988 KiB
Current children cumulated memory: 200964 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22235
/proc/meminfo: memFree=1400444/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2164192 memory=177168 CPUtime=2442.2 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 498144 0 0 0 243212 1008 0 0 20 0 1 0 217415496 2216132608 44292 33554432000 4194304 5849708 140729029232720 140729029231720 140364503940999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 541048 44292 744 405 0 537993 0
Current children cumulated CPU time: 2442.2 s
Current children cumulated vsize: 2164192 KiB
Current children cumulated memory: 177168 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 22236
/proc/meminfo: memFree=1265324/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2195868 memory=208844 CPUtime=2502.2 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 500844 0 0 0 249190 1030 0 0 20 0 1 0 217415496 2248568832 52211 33554432000 4194304 5849708 140729029232720 140729029231720 140364503940999 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 548967 52211 744 405 0 545912 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 2195868 KiB
Current children cumulated memory: 208844 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 22236
/proc/meminfo: memFree=1125824/32770624 swapFree=67108796/67108860
[pid=22077] ppid=22074 vsize=2235644 memory=248440 CPUtime=2519.91 cores=1,3,5,7
/proc/22077/stat : 22077 (xcsp_picat) R 22074 22077 21527 0 -1 4202496 502943 0 0 0 250955 1036 0 0 20 0 1 0 217415496 2289299456 62110 33554432000 4194304 5849708 140729029232720 140729029231720 5438096 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9394900 44728320 140729029235894 140729029235972 140729029235972 140729029238730 0
/proc/22077/statm: 558911 62110 744 405 0 555856 0
Current children cumulated CPU time: 2519.91 s
Current children cumulated vsize: 2235644 KiB
Current children cumulated memory: 248440 KiB

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

[startup+2520.02 s]
# the end of solver process 22077 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2509.55 s, system=10.3747 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.02
CPU time (s): 2519.93
CPU user time (s): 2509.55
CPU system time (s): 10.3747
CPU usage (%): 99.9965
Max. virtual memory (cumulated for all children) (KiB): 2269976
Max. memory (cumulated for all children) (KiB): 282932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.55
system time used= 10.3747
maximum resident set size= 282932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 502943
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= 10
involuntary context switches= 1278


# summary of solver processes directly reported to runsolver:
#   pid: 22077
#   total CPU time (s): 2519.93
#   total CPU user time (s): 2509.55
#   total CPU system time (s): 10.3747

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.40885 second user time and 18.2249 second system time

The end

Launcher Data 

Begin job on node138 at 2018-08-11 16:42:03
IDJOB=4303517
IDBENCH=141152
IDSOLVER=2778
FILE ID=node138/4303517-1533998523
RUNJOBID= node138-1533993481-21560
PBS_JOBID= 21036952
Free space on /tmp= 24252 MiB

SOLVER NAME= PicatSAT 2018-08-02
BENCH NAME= XCSP18/Auction/Auction-sum/Auction-sum-decay400_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4303517-1533998523/watcher-4303517-1533998523 -o /tmp/evaluation-result-4303517-1533998523/solver-4303517-1533998523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1533993481-21560 --watchdog 2580  xcsp_picat HOME/instance-4303517-1533998523.xml

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

MD5SUM BENCH= b20be86eed1a54c36d145f853cc0c945
RANDOM SEED=173093671

node138.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.71
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.71
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.71
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.71
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:         1554476 kB
MemAvailable:   31619340 kB
Buffers:          140404 kB
Cached:         29722248 kB
SwapCached:           12 kB
Active:          9940908 kB
Inactive:       20261992 kB
Active(anon):     284340 kB
Inactive(anon):   108352 kB
Active(file):    9656568 kB
Inactive(file): 20153640 kB
Unevictable:        7276 kB
Mlocked:            7276 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:              3184 kB
Writeback:             0 kB
AnonPages:        359936 kB
Mapped:            53608 kB
Shmem:             49740 kB
Slab:             710612 kB
SReclaimable:     683116 kB
SUnreclaim:        27496 kB
KernelStack:        3584 kB
PageTables:         5892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2629864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    227328 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 24248 MiB
End job on node138 at 2018-08-11 17:24:03