Trace number 4293024

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) 2519.97 2520.12

General information on the benchmark

NameTal/
Tal-07_c18.xml
MD5SUM5a4be603cb990ae6ed40c9d9f121c88d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark126
Best CPU time to get the best result obtained on this benchmark2520.1
Satisfiable
(Un)Satisfiability was proved
Number of variables818
Number of constraints545
Number of domains12
Minimum domain size1
Maximum domain size42
Distribution of domain sizes[{"size":1,"count":135},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":73},{"size":7,"count":9},{"size":8,"count":10},{"size":9,"count":11},{"size":10,"count":67},{"size":42,"count":119}]
Minimum variable degree0
Maximum variable degree16
Distribution of variable degrees[{"degree":0,"count":372},{"degree":1,"count":135},{"degree":2,"count":83},{"degree":3,"count":11},{"degree":4,"count":12},{"degree":5,"count":49},{"degree":6,"count":23},{"degree":7,"count":15},{"degree":8,"count":15},{"degree":9,"count":23},{"degree":10,"count":22},{"degree":11,"count":24},{"degree":12,"count":19},{"degree":13,"count":6},{"degree":14,"count":6},{"degree":15,"count":2},{"degree":16,"count":1}]
Minimum constraint arity1
Maximum constraint arity12
Distribution of constraint arities[{"arity":1,"count":155},{"arity":2,"count":174},{"arity":3,"count":57},{"arity":4,"count":13},{"arity":5,"count":22},{"arity":6,"count":21},{"arity":7,"count":20},{"arity":8,"count":19},{"arity":9,"count":19},{"arity":10,"count":17},{"arity":11,"count":14},{"arity":12,"count":14}]
Number of extensional constraints100
Number of intensional constraints427
Distribution of constraint types[{"type":"extension","count":100},{"type":"intension","count":427},{"type":"count","count":18}]
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 (10099 MiB free)
  memory of node 1: 16384 MiB (12175 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293024-1532302692/watcher-4293024-1532302692 -o /tmp/evaluation-result-4293024-1532302692/solver-4293024-1532302692 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532297650-6631 --watchdog 2580 xcsp_picat HOME/instance-4293024-1532302692.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=7028, runsolver pid=7025
Current StackSize limit: 8192 KiB


[startup+0.100906 s]*
/proc/loadavg: 2.36 2.23 2.05 2/182 7029
/proc/meminfo: memFree=22775336/32770624 swapFree=67108860/67108860
[pid=7028] ppid=7025 vsize=111688 memory=33824 CPUtime=0.1 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 1485 0 0 0 10 0 0 0 20 0 1 0 47832325 114368512 8456 33554432000 4194304 5849740 140731829698448 140731829697752 4572141 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 27922 8456 622 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 33824 KiB

[startup+0.209812 s]*
/proc/loadavg: 2.36 2.23 2.05 3/200 7050
/proc/meminfo: memFree=22736692/32770624 swapFree=67108860/67108860
[pid=7028] ppid=7025 vsize=111688 memory=56600 CPUtime=0.21 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 1535 0 0 0 20 1 0 0 20 0 1 0 47832325 114368512 14150 33554432000 4194304 5849740 140731829698448 140731829697752 4550710 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 27922 14150 622 405 0 24866 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 56600 KiB

[startup+0.309645 s]*
/proc/loadavg: 2.36 2.23 2.05 4/200 7050
/proc/meminfo: memFree=22709144/32770624 swapFree=67108860/67108860
[pid=7028] ppid=7025 vsize=111688 memory=70936 CPUtime=0.31 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 1542 0 0 0 30 1 0 0 20 0 1 0 47832325 114368512 17734 33554432000 4194304 5849740 140731829698448 140731829697752 4492354 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 27922 17734 622 405 0 24866 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 70936 KiB

[startup+0.70038 s]
/proc/loadavg: 2.36 2.23 2.05 3/187 7082
/proc/meminfo: memFree=22670988/32770624 swapFree=67108860/67108860
[pid=7028] ppid=7025 vsize=181020 memory=113688 CPUtime=0.69 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 2014 0 0 0 67 2 0 0 20 0 1 0 47832325 185364480 28422 33554432000 4194304 5849740 140731829698448 140731829697416 4504249 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 45255 28422 626 405 0 42199 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 181020 KiB
Current children cumulated memory: 113688 KiB

[startup+1.50043 s]
/proc/loadavg: 2.36 2.23 2.05 3/187 7082
/proc/meminfo: memFree=22571680/32770624 swapFree=67108860/67108860
[pid=7028] ppid=7025 vsize=308776 memory=223348 CPUtime=1.49 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 3639 0 0 0 144 5 0 0 20 0 1 0 47832325 316186624 55837 33554432000 4194304 5849740 140731829698448 140731829697768 4494163 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 77194 55837 631 405 0 74138 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 308776 KiB
Current children cumulated memory: 223348 KiB

[startup+3.10947 s]
/proc/loadavg: 2.33 2.23 2.05 3/187 7082
/proc/meminfo: memFree=21794216/32770624 swapFree=67108860/67108860
[pid=7028] ppid=7025 vsize=949968 memory=612096 CPUtime=3.09 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 6801 0 0 0 296 13 0 0 20 0 1 0 47832325 972767232 153024 33554432000 4194304 5849740 140731829698448 140731829697752 5257242 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 237492 153024 631 405 0 234436 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 949968 KiB
Current children cumulated memory: 612096 KiB

[startup+6.30037 s]
/proc/loadavg: 2.33 2.23 2.05 3/187 7082
/proc/meminfo: memFree=20936896/32770624 swapFree=67108860/67108860
[pid=7028] ppid=7025 vsize=1239024 memory=742428 CPUtime=6.29 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 9086 0 0 0 603 26 0 0 20 0 1 0 47832325 1268760576 185607 33554432000 4194304 5849740 140731829698448 140731829697448 4475412 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 309756 185607 631 405 0 306700 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 1239024 KiB
Current children cumulated memory: 742428 KiB

[startup+12.7004 s]
/proc/loadavg: 2.31 2.23 2.05 3/187 7082
/proc/meminfo: memFree=20026436/32770624 swapFree=67108860/67108860
[pid=7028] ppid=7025 vsize=1690980 memory=1639992 CPUtime=12.69 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 16049 0 0 0 1220 49 0 0 20 0 1 0 47832325 1731563520 409998 33554432000 4194304 5849740 140731829698448 140731829697224 5262149 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 422745 409998 658 405 0 419689 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 1690980 KiB
Current children cumulated memory: 1639992 KiB

[startup+25.5004 s]
/proc/loadavg: 2.24 2.22 2.05 3/187 7082
/proc/meminfo: memFree=12257776/32770624 swapFree=67108860/67108860
[pid=7028] ppid=7025 vsize=7947060 memory=5884368 CPUtime=25.48 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 22652 0 0 0 2414 134 0 0 20 0 1 0 47832325 8137789440 1471092 33554432000 4194304 5849740 140731829698448 140731829697448 5260281 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 1986765 1471092 658 405 0 1983709 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 7947060 KiB
Current children cumulated memory: 5884368 KiB

[startup+51.1096 s]
/proc/loadavg: 2.16 2.20 2.05 3/187 7082
/proc/meminfo: memFree=215704/32770624 swapFree=67108860/67108860
[pid=7028] ppid=7025 vsize=12663624 memory=12526552 CPUtime=51.09 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 117766 0 0 0 4717 392 0 0 20 0 1 0 47832325 12967550976 3131638 33554432000 4194304 5849740 140731829698448 140731829697448 5260281 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 3165906 3131638 659 405 0 3162850 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 12663624 KiB
Current children cumulated memory: 12526552 KiB

[startup+102.3 s]
/proc/loadavg: 2.03 2.15 2.04 3/187 7083
/proc/meminfo: memFree=1298276/32770624 swapFree=67108860/67108860
[pid=7028] ppid=7025 vsize=12712452 memory=12578012 CPUtime=102.27 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 130825 0 0 0 9580 647 0 0 20 0 1 0 47832325 13017550848 3144503 33554432000 4194304 5849740 140731829698448 140731829697448 5260488 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 3178113 3144503 659 405 0 3175057 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 12712452 KiB
Current children cumulated memory: 12578012 KiB

[startup+162.3 s]
/proc/loadavg: 1.96 2.11 2.03 3/188 7092
/proc/meminfo: memFree=6625028/32770624 swapFree=67108860/67108860
[pid=7028] ppid=7025 vsize=8738816 memory=6589936 CPUtime=162.27 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 146047 0 0 0 15295 932 0 0 20 0 1 0 47832325 8948547584 1647484 33554432000 4194304 5849740 140731829698448 140731829697416 5251173 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 2184704 1647484 659 405 0 2181648 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 8738816 KiB
Current children cumulated memory: 6589936 KiB

[startup+222.3 s]
/proc/loadavg: 1.98 2.09 2.03 3/188 7093
/proc/meminfo: memFree=6063716/32770624 swapFree=67108860/67108860
[pid=7028] ppid=7025 vsize=12834520 memory=12699076 CPUtime=222.27 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 165419 0 0 0 20962 1265 0 0 20 0 1 0 47832325 13142548480 3174769 33554432000 4194304 5849740 140731829698448 140731829697448 5260281 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 3208630 3174769 659 405 0 3205574 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 12834520 KiB
Current children cumulated memory: 12699076 KiB

[startup+282.3 s]
/proc/loadavg: 2.09 2.10 2.05 3/188 7094
/proc/meminfo: memFree=7539148/32770624 swapFree=67108796/67108860
[pid=7028] ppid=7025 vsize=8821824 memory=5742928 CPUtime=282.27 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 182077 0 0 0 26691 1536 0 0 20 0 1 0 47832325 9033547776 1435732 33554432000 4194304 5849740 140731829698448 140731829697416 5249600 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 2205456 1435732 659 405 0 2202400 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 8821824 KiB
Current children cumulated memory: 5742928 KiB

[startup+342.3 s]
/proc/loadavg: 2.21 2.13 2.06 3/188 7095
/proc/meminfo: memFree=6890180/32770624 swapFree=67108796/67108860
[pid=7028] ppid=7025 vsize=12956592 memory=11715764 CPUtime=342.26 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 200409 0 0 0 32362 1864 0 0 20 0 1 0 47832325 13267550208 2928941 33554432000 4194304 5849740 140731829698448 140731829697448 5269185 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 3239148 2928941 659 405 0 3236092 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 12956592 KiB
Current children cumulated memory: 11715764 KiB

[startup+402.3 s]
/proc/loadavg: 2.59 2.28 2.12 3/188 7096
/proc/meminfo: memFree=4444976/32770624 swapFree=67108796/67108860
[pid=7028] ppid=7025 vsize=13005416 memory=12869944 CPUtime=402.25 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 215771 0 0 0 38100 2125 0 0 20 0 1 0 47832325 13317545984 3217486 33554432000 4194304 5849740 140731829698448 140731829697448 5260674 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 3251354 3217486 659 405 0 3248298 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 13005416 KiB
Current children cumulated memory: 12869944 KiB

[startup+462.3 s]
/proc/loadavg: 2.17 2.23 2.11 3/187 7097
/proc/meminfo: memFree=5365616/32770624 swapFree=67108796/67108860
[pid=7028] ppid=7025 vsize=8938036 memory=8016928 CPUtime=462.25 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 232770 0 0 0 43801 2424 0 0 20 0 1 0 47832325 9152548864 2004232 33554432000 4194304 5849740 140731829698448 140731829697416 5250605 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 2234509 2004232 659 405 0 2231453 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 8938036 KiB
Current children cumulated memory: 8016928 KiB


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

/proc/7028/statm: 2433727 2159795 527 405 0 2430671 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 9734908 KiB
Current children cumulated memory: 8639180 KiB

[startup+1782.3 s]
/proc/loadavg: 1.97 1.97 2.02 3/187 7164
/proc/meminfo: memFree=3143672/32770624 swapFree=67108796/67108860
[pid=7028] ppid=7025 vsize=14299368 memory=11290792 CPUtime=1782.21 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 611470 0 0 0 169111 9110 0 0 20 0 1 0 47832325 14642552832 2822698 33554432000 4194304 5849740 140731829698448 140731829697416 5269185 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 3574842 2822698 527 405 0 3571786 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 14299368 KiB
Current children cumulated memory: 11290792 KiB

[startup+1842.3 s]
/proc/loadavg: 1.92 1.96 2.01 3/187 7165
/proc/meminfo: memFree=6549188/32770624 swapFree=67108796/67108860
[pid=7028] ppid=7025 vsize=14348192 memory=14212540 CPUtime=1842.2 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 645353 0 0 0 174781 9439 0 0 20 0 1 0 47832325 14692548608 3553135 33554432000 4194304 5849740 140731829698448 140731829697448 5257187 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 3587048 3553135 517 405 0 3583992 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 14348192 KiB
Current children cumulated memory: 14212540 KiB

[startup+1902.3 s]
/proc/loadavg: 1.97 1.97 2.01 3/187 7166
/proc/meminfo: memFree=4990724/32770624 swapFree=67108796/67108860
[pid=7028] ppid=7025 vsize=14397020 memory=14260632 CPUtime=1902.2 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 660770 0 0 0 180497 9723 0 0 20 0 1 0 47832325 14742548480 3565158 33554432000 4194304 5849740 140731829698448 140731829697448 5260488 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 3599255 3565158 508 405 0 3596199 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 14397020 KiB
Current children cumulated memory: 14260632 KiB

[startup+1962.3 s]
/proc/loadavg: 1.99 1.97 2.01 3/188 7175
/proc/meminfo: memFree=4049232/32770624 swapFree=67108796/67108860
[pid=7028] ppid=7025 vsize=14445848 memory=14308720 CPUtime=1962.2 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 676253 0 0 0 186218 10002 0 0 20 0 1 0 47832325 14792548352 3577180 33554432000 4194304 5849740 140731829698448 140731829697448 5269552 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 3611462 3577180 497 405 0 3608406 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 14445848 KiB
Current children cumulated memory: 14308720 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 1.98 2.01 3/188 7176
/proc/meminfo: memFree=7423268/32770624 swapFree=67108796/67108860
[pid=7028] ppid=7025 vsize=9917528 memory=6605940 CPUtime=2022.2 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 695182 0 0 0 191909 10311 0 0 20 0 1 0 47832325 10155548672 1651485 33554432000 4194304 5849740 140731829698448 140731829697416 5251173 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 2479382 1651485 484 405 0 2476326 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 9917528 KiB
Current children cumulated memory: 6605940 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 1.98 2.01 3/187 7177
/proc/meminfo: memFree=6015164/32770624 swapFree=67108796/67108860
[pid=7028] ppid=7025 vsize=9950728 memory=7956744 CPUtime=2082.2 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 712351 0 0 0 197605 10615 0 0 20 0 1 0 47832325 10189545472 1989186 33554432000 4194304 5849740 140731829698448 140731829697416 5251092 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 2487682 1989186 484 405 0 2484626 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 9950728 KiB
Current children cumulated memory: 7956744 KiB

[startup+2142.3 s]
/proc/loadavg: 1.92 1.97 2.01 3/188 7179
/proc/meminfo: memFree=5082692/32770624 swapFree=67108796/67108860
[pid=7028] ppid=7025 vsize=9983932 memory=9109884 CPUtime=2142.19 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 730449 0 0 0 203306 10913 0 0 20 0 1 0 47832325 10223546368 2277471 33554432000 4194304 5849740 140731829698448 140731829697416 5249591 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 2495983 2277471 460 405 0 2492927 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 9983932 KiB
Current children cumulated memory: 9109884 KiB

[startup+2202.3 s]
/proc/loadavg: 1.97 1.97 2.01 3/188 7180
/proc/meminfo: memFree=4211972/32770624 swapFree=67108796/67108860
[pid=7028] ppid=7025 vsize=10017140 memory=9895568 CPUtime=2202.19 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 747296 0 0 0 209008 11211 0 0 20 0 1 0 47832325 10257551360 2473892 33554432000 4194304 5849740 140731829698448 140731829697416 5262157 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 2504285 2473892 456 405 0 2501229 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 10017140 KiB
Current children cumulated memory: 9895568 KiB

[startup+2262.3 s]
/proc/loadavg: 1.94 1.96 2.00 3/187 7181
/proc/meminfo: memFree=7646748/32770624 swapFree=67108796/67108860
[pid=7028] ppid=7025 vsize=14714404 memory=14577920 CPUtime=2262.18 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 765472 0 0 0 214656 11562 0 0 20 0 1 0 47832325 15067549696 3644480 33554432000 4194304 5849740 140731829698448 140731829697448 5257177 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 3678601 3644480 456 405 0 3675545 0
Current children cumulated CPU time: 2262.18 s
Current children cumulated vsize: 14714404 KiB
Current children cumulated memory: 14577920 KiB

[startup+2322.3 s]
/proc/loadavg: 2.02 1.99 2.01 3/187 7182
/proc/meminfo: memFree=6692488/32770624 swapFree=67108796/67108860
[pid=7028] ppid=7025 vsize=14763228 memory=14626864 CPUtime=2322.18 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 780674 0 0 0 220352 11866 0 0 20 0 1 0 47832325 15117545472 3656716 33554432000 4194304 5849740 140731829698448 140731829697448 5260488 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 3690807 3656716 451 405 0 3687751 0
Current children cumulated CPU time: 2322.18 s
Current children cumulated vsize: 14763228 KiB
Current children cumulated memory: 14626864 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 1.99 2.01 3/187 7183
/proc/meminfo: memFree=5844084/32770624 swapFree=67108796/67108860
[pid=7028] ppid=7025 vsize=14812064 memory=14675348 CPUtime=2382.17 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 797094 0 0 0 226066 12151 0 0 20 0 1 0 47832325 15167553536 3668837 33554432000 4194304 5849740 140731829698448 140731829697448 5260281 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 3703016 3668837 426 405 0 3699960 0
Current children cumulated CPU time: 2382.17 s
Current children cumulated vsize: 14812064 KiB
Current children cumulated memory: 14675348 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 2.01 3/187 7184
/proc/meminfo: memFree=4967720/32770624 swapFree=67108796/67108860
[pid=7028] ppid=7025 vsize=14860892 memory=14724056 CPUtime=2442.15 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 813333 0 0 0 231770 12445 0 0 20 0 1 0 47832325 15217553408 3681014 33554432000 4194304 5849740 140731829698448 140731829697448 5260261 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 3715223 3681014 426 405 0 3712167 0
Current children cumulated CPU time: 2442.15 s
Current children cumulated vsize: 14860892 KiB
Current children cumulated memory: 14724056 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 2.01 3/187 7185
/proc/meminfo: memFree=4581120/32770624 swapFree=67108796/67108860
[pid=7028] ppid=7025 vsize=14909716 memory=14773648 CPUtime=2502.14 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 829663 0 0 0 237481 12733 0 0 20 0 1 0 47832325 15267549184 3693412 33554432000 4194304 5849740 140731829698448 140731829697448 5260401 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 3727429 3693412 396 405 0 3724373 0
Current children cumulated CPU time: 2502.14 s
Current children cumulated vsize: 14909716 KiB
Current children cumulated memory: 14773648 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 1.99 2.01 3/188 7193
/proc/meminfo: memFree=2860692/32770624 swapFree=67108796/67108860
[pid=7028] ppid=7025 vsize=14934128 memory=11491540 CPUtime=2519.85 cores=1,3,5,7
/proc/7028/stat : 7028 (xcsp_picat) R 7025 7028 6599 0 -1 4202496 836420 0 0 0 239158 12827 0 0 20 0 1 0 47832325 15292547072 2872885 33554432000 4194304 5849740 140731829698448 140731829697416 5269185 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 25120768 140731829699766 140731829699844 140731829699844 140731829702602 0
/proc/7028/statm: 3733532 2872885 391 405 0 3730476 0
Current children cumulated CPU time: 2519.85 s
Current children cumulated vsize: 14934128 KiB
Current children cumulated memory: 11491540 KiB

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

[startup+2520.11 s]
# the end of solver process 7028 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2391.62 s, system=128.35 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.12
CPU time (s): 2519.97
CPU user time (s): 2391.62
CPU system time (s): 128.35
CPU usage (%): 99.994
Max. virtual memory (cumulated for all children) (KiB): 14934128
Max. memory (cumulated for all children) (KiB): 14773648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.62
system time used= 128.35
maximum resident set size= 14773648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 836494
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= 5
involuntary context switches= 2861


# summary of solver processes directly reported to runsolver:
#   pid: 7028
#   total CPU time (s): 2519.97
#   total CPU user time (s): 2391.62
#   total CPU system time (s): 128.35

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.9832 second user time and 18.6813 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-23 01:38:12
IDJOB=4293024
IDBENCH=141100
IDSOLVER=2754
FILE ID=node138/4293024-1532302692
RUNJOBID= node138-1532297650-6631
PBS_JOBID= 21018993
Free space on /tmp= 59104 MiB

SOLVER NAME= PicatSAT 2018-06-15
BENCH NAME= XCSP18/Tal/Tal-07_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293024-1532302692/watcher-4293024-1532302692 -o /tmp/evaluation-result-4293024-1532302692/solver-4293024-1532302692 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532297650-6631 --watchdog 2580  xcsp_picat HOME/instance-4293024-1532302692.xml

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

MD5SUM BENCH= 5a4be603cb990ae6ed40c9d9f121c88d
RANDOM SEED=1806473455

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:        22810464 kB
MemAvailable:   31941968 kB
Buffers:          251744 kB
Cached:          9111620 kB
SwapCached:            0 kB
Active:          2335464 kB
Inactive:        7086588 kB
Active(anon):      61844 kB
Inactive(anon):    16960 kB
Active(file):    2273620 kB
Inactive(file):  7069628 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3532 kB
Writeback:             0 kB
AnonPages:         66040 kB
Mapped:            36116 kB
Shmem:             17036 kB
Slab:             236164 kB
SReclaimable:     208184 kB
SUnreclaim:        27980 kB
KernelStack:        3376 kB
PageTables:         5132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     318624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 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= 59104 MiB
End job on node138 at 2018-07-23 02:20:12