Trace number 4293296

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.89 2520.02

General information on the benchmark

NameAuction/Auction-sum/
Auction-sum-decay500_c18.xml
MD5SUMd1d7e4f351cab0858660dafd89ccc193
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3125540
Best CPU time to get the best result obtained on this benchmark2520.06
Satisfiable
(Un)Satisfiability was proved
Number of variables2000
Number of constraints500
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2000}]
Minimum variable degree2
Maximum variable degree37
Distribution of variable degrees[{"degree":2,"count":333},{"degree":3,"count":393},{"degree":4,"count":273},{"degree":5,"count":211},{"degree":6,"count":187},{"degree":7,"count":130},{"degree":8,"count":107},{"degree":9,"count":78},{"degree":10,"count":58},{"degree":11,"count":59},{"degree":12,"count":30},{"degree":13,"count":31},{"degree":14,"count":23},{"degree":15,"count":16},{"degree":16,"count":16},{"degree":17,"count":13},{"degree":18,"count":7},{"degree":19,"count":4},{"degree":20,"count":11},{"degree":21,"count":4},{"degree":22,"count":4},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":1},{"degree":28,"count":1},{"degree":32,"count":1},{"degree":33,"count":1},{"degree":37,"count":1}]
Minimum constraint arity7
Maximum constraint arity42
Distribution of constraint arities[{"arity":7,"count":1},{"arity":9,"count":1},{"arity":10,"count":4},{"arity":11,"count":8},{"arity":12,"count":14},{"arity":13,"count":22},{"arity":14,"count":33},{"arity":15,"count":32},{"arity":16,"count":29},{"arity":17,"count":48},{"arity":18,"count":48},{"arity":19,"count":45},{"arity":20,"count":38},{"arity":21,"count":36},{"arity":22,"count":32},{"arity":23,"count":21},{"arity":24,"count":21},{"arity":25,"count":28},{"arity":26,"count":18},{"arity":27,"count":4},{"arity":28,"count":7},{"arity":29,"count":4},{"arity":30,"count":2},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":34,"count":1},{"arity":42,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":500}]
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 (12622 MiB free)
  memory of node 1: 16384 MiB (15381 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100187 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 8111
/proc/meminfo: memFree=28647964/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=111688 memory=34912 CPUtime=0.1 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 1767 0 0 0 10 0 0 0 20 0 1 0 48841006 114368512 8728 33554432000 4194304 5849740 140725298224608 140725298224608 4454725 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 27922 8728 617 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 34912 KiB

[startup+0.209666 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 8111
/proc/meminfo: memFree=28631048/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=136136 memory=47820 CPUtime=0.21 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 2993 0 0 0 21 0 0 0 20 0 1 0 48841006 139403264 11955 33554432000 4194304 5849740 140725298224608 140725298224608 5488053 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 34034 11955 713 405 0 30978 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 136136 KiB
Current children cumulated memory: 47820 KiB

[startup+0.309423 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 8111
/proc/meminfo: memFree=28631048/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=136272 memory=47820 CPUtime=0.31 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 3004 0 0 0 31 0 0 0 20 0 1 0 48841006 139542528 11955 33554432000 4194304 5849740 140725298224608 140725298224608 5472906 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 34068 11955 713 405 0 31012 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 136272 KiB
Current children cumulated memory: 47820 KiB

[startup+0.700275 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 8111
/proc/meminfo: memFree=28631048/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=136272 memory=47820 CPUtime=0.69 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 3027 0 0 0 69 0 0 0 20 0 1 0 48841006 139542528 11955 33554432000 4194304 5849740 140725298224608 140725298223704 5471899 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 34068 11955 713 405 0 31012 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 136272 KiB
Current children cumulated memory: 47820 KiB

[startup+1.50027 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 8111
/proc/meminfo: memFree=28631064/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=136272 memory=47820 CPUtime=1.49 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 3027 0 0 0 149 0 0 0 20 0 1 0 48841006 139542528 11955 33554432000 4194304 5849740 140725298224608 140725298223704 5472934 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 34068 11955 713 405 0 31012 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 136272 KiB
Current children cumulated memory: 47820 KiB

[startup+3.10882 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 8111
/proc/meminfo: memFree=28630816/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=136448 memory=48164 CPUtime=3.1 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 3181 0 0 0 310 0 0 0 20 0 1 0 48841006 139722752 12041 33554432000 4194304 5849740 140725298224608 140725298223704 5534832 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 34112 12041 713 405 0 31056 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 136448 KiB
Current children cumulated memory: 48164 KiB

[startup+6.30027 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 8111
/proc/meminfo: memFree=28630660/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=136448 memory=48164 CPUtime=6.29 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 3336 0 0 0 629 0 0 0 20 0 1 0 48841006 139722752 12041 33554432000 4194304 5849740 140725298224608 140725298223704 5606222 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 34112 12041 713 405 0 31056 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 136448 KiB
Current children cumulated memory: 48164 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8111
/proc/meminfo: memFree=28761812/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=136448 memory=48164 CPUtime=12.69 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 3491 0 0 0 1269 0 0 0 20 0 1 0 48841006 139722752 12041 33554432000 4194304 5849740 140725298224608 140725298223704 5472641 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 34112 12041 713 405 0 31056 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 136448 KiB
Current children cumulated memory: 48164 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8111
/proc/meminfo: memFree=28720512/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=173704 memory=85432 CPUtime=25.49 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 17518 0 0 0 2543 6 0 0 20 0 1 0 48841006 177872896 21358 33554432000 4194304 5849740 140725298224608 140725298223608 140690549936007 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 43426 21358 747 405 0 40370 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 173704 KiB
Current children cumulated memory: 85432 KiB

[startup+51.1095 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8111
/proc/meminfo: memFree=28718056/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=173656 memory=89096 CPUtime=51.09 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 19196 0 0 0 5088 21 0 0 20 0 1 0 48841006 177823744 22274 33554432000 4194304 5849740 140725298224608 140725298223608 5438262 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 43414 22274 747 405 0 40358 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 173656 KiB
Current children cumulated memory: 89096 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8112
/proc/meminfo: memFree=28710920/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=174784 memory=92032 CPUtime=102.28 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 21192 0 0 0 10173 55 0 0 20 0 1 0 48841006 178978816 23008 33554432000 4194304 5849740 140725298224608 140725298223608 5437629 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 43696 23008 747 405 0 40640 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 174784 KiB
Current children cumulated memory: 92032 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8114
/proc/meminfo: memFree=28667564/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=192172 memory=109552 CPUtime=162.28 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 23965 0 0 0 16131 97 0 0 20 0 1 0 48841006 196784128 27388 33554432000 4194304 5849740 140725298224608 140725298223608 5340238 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 48043 27388 747 405 0 44987 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 192172 KiB
Current children cumulated memory: 109552 KiB

[startup+222.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 8175
/proc/meminfo: memFree=28813904/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=206944 memory=124396 CPUtime=222.27 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 33098 0 0 0 22093 134 0 0 20 0 1 0 48841006 211910656 31099 33554432000 4194304 5849740 140725298224608 140725298223256 5360971 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 51736 31099 747 405 0 48680 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 206944 KiB
Current children cumulated memory: 124396 KiB

[startup+282.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/188 8184
/proc/meminfo: memFree=28826100/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=193812 memory=111296 CPUtime=282.27 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 35472 0 0 0 28058 169 0 0 20 0 1 0 48841006 198463488 27824 33554432000 4194304 5849740 140725298224608 140725298223608 5438251 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 48453 27824 747 405 0 45397 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 193812 KiB
Current children cumulated memory: 111296 KiB

[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/188 8185
/proc/meminfo: memFree=28775532/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=222048 memory=139532 CPUtime=342.27 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 41473 0 0 0 34021 206 0 0 20 0 1 0 48841006 227377152 34883 33554432000 4194304 5849740 140725298224608 140725298223608 5437766 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 55512 34883 747 405 0 52456 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 222048 KiB
Current children cumulated memory: 139532 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/188 8186
/proc/meminfo: memFree=28764800/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=222008 memory=139492 CPUtime=402.26 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 44002 0 0 0 39981 245 0 0 20 0 1 0 48841006 227336192 34873 33554432000 4194304 5849740 140725298224608 140725298223480 5416653 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 55502 34873 747 405 0 52446 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 222008 KiB
Current children cumulated memory: 139492 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 8187
/proc/meminfo: memFree=28727176/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=247136 memory=164624 CPUtime=462.26 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 64248 0 0 0 45943 283 0 0 20 0 1 0 48841006 253067264 41156 33554432000 4194304 5849740 140725298224608 140725298223480 140690549936007 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 61784 41156 748 405 0 58728 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 247136 KiB
Current children cumulated memory: 164624 KiB


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

/proc/8110/statm: 57178 36533 748 405 0 54122 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 228712 KiB
Current children cumulated memory: 146132 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8225
/proc/meminfo: memFree=28621336/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=240572 memory=158060 CPUtime=1782.21 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 292403 0 0 0 177212 1009 0 0 20 0 1 0 48841006 246345728 39515 33554432000 4194304 5849740 140725298224608 140725298223608 5437607 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 60143 39515 748 405 0 57087 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 240572 KiB
Current children cumulated memory: 158060 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8226
/proc/meminfo: memFree=28604332/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=229832 memory=147448 CPUtime=1842.2 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 308646 0 0 0 183178 1042 0 0 20 0 1 0 48841006 235347968 36862 33554432000 4194304 5849740 140725298224608 140725298223608 140690549936007 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 57458 36862 748 405 0 54402 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 229832 KiB
Current children cumulated memory: 147448 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8227
/proc/meminfo: memFree=28585560/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=248840 memory=166328 CPUtime=1902.19 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 317769 0 0 0 189147 1072 0 0 20 0 1 0 48841006 254812160 41582 33554432000 4194304 5849740 140725298224608 140725298223768 140690549936007 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 62210 41582 748 405 0 59154 0
Current children cumulated CPU time: 1902.19 s
Current children cumulated vsize: 248840 KiB
Current children cumulated memory: 166328 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8229
/proc/meminfo: memFree=28563272/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=271028 memory=188516 CPUtime=1962.19 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 322890 0 0 0 195112 1107 0 0 20 0 1 0 48841006 277532672 47129 33554432000 4194304 5849740 140725298224608 140725298223608 140690549936007 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 67757 47129 748 405 0 64701 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 271028 KiB
Current children cumulated memory: 188516 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 8230
/proc/meminfo: memFree=28538140/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=271028 memory=188516 CPUtime=2022.19 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 326455 0 0 0 201081 1138 0 0 20 0 1 0 48841006 277532672 47129 33554432000 4194304 5849740 140725298224608 140725298223480 5416698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 67757 47129 748 405 0 64701 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 271028 KiB
Current children cumulated memory: 188516 KiB

[startup+2082.3 s]
/proc/loadavg: 2.52 2.16 2.09 3/188 8239
/proc/meminfo: memFree=28509496/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=271028 memory=188516 CPUtime=2082.19 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 329610 0 0 0 207050 1169 0 0 20 0 1 0 48841006 277532672 47129 33554432000 4194304 5849740 140725298224608 140725298223608 140690549936007 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 67757 47129 748 405 0 64701 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 271028 KiB
Current children cumulated memory: 188516 KiB

[startup+2142.3 s]
/proc/loadavg: 2.19 2.13 2.09 3/188 8262
/proc/meminfo: memFree=28534700/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=278576 memory=196016 CPUtime=2142.19 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 334351 0 0 0 213021 1198 0 0 20 0 1 0 48841006 285261824 49004 33554432000 4194304 5849740 140725298224608 140725298223608 140690549936007 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 69644 49004 748 405 0 66588 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 278576 KiB
Current children cumulated memory: 196016 KiB

[startup+2202.3 s]
/proc/loadavg: 2.07 2.11 2.08 3/188 8263
/proc/meminfo: memFree=28452776/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=361012 memory=278568 CPUtime=2202.19 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 341012 0 0 0 218986 1233 0 0 20 0 1 0 48841006 369676288 69642 33554432000 4194304 5849740 140725298224608 140725298223608 140690549936007 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 90253 69642 748 405 0 87197 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 361012 KiB
Current children cumulated memory: 278568 KiB

[startup+2262.3 s]
/proc/loadavg: 2.07 2.10 2.08 3/188 8264
/proc/meminfo: memFree=28391960/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=389196 memory=306584 CPUtime=2262.18 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 365353 0 0 0 224959 1259 0 0 20 0 1 0 48841006 398536704 76646 33554432000 4194304 5849740 140725298224608 140725298223608 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 97299 76646 748 405 0 94243 0
Current children cumulated CPU time: 2262.18 s
Current children cumulated vsize: 389196 KiB
Current children cumulated memory: 306584 KiB

[startup+2322.3 s]
/proc/loadavg: 2.02 2.08 2.08 3/188 8265
/proc/meminfo: memFree=28445168/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=336188 memory=253584 CPUtime=2322.18 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 380634 0 0 0 230927 1291 0 0 20 0 1 0 48841006 344256512 63396 33554432000 4194304 5849740 140725298224608 140725298223608 140690549936007 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 84047 63396 748 405 0 80991 0
Current children cumulated CPU time: 2322.18 s
Current children cumulated vsize: 336188 KiB
Current children cumulated memory: 253584 KiB

[startup+2382.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 8266
/proc/meminfo: memFree=28334584/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=447184 memory=364532 CPUtime=2382.17 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 399824 0 0 0 236902 1315 0 0 20 0 1 0 48841006 457916416 91133 33554432000 4194304 5849740 140725298224608 140725298223608 140690549936007 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 111796 91133 748 405 0 108740 0
Current children cumulated CPU time: 2382.17 s
Current children cumulated vsize: 447184 KiB
Current children cumulated memory: 364532 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 8267
/proc/meminfo: memFree=28461756/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=325620 memory=243056 CPUtime=2442.17 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 426982 0 0 0 242873 1344 0 0 20 0 1 0 48841006 333434880 60764 33554432000 4194304 5849740 140725298224608 140725298223608 5438262 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 81405 60764 748 405 0 78349 0
Current children cumulated CPU time: 2442.17 s
Current children cumulated vsize: 325620 KiB
Current children cumulated memory: 243056 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 8268
/proc/meminfo: memFree=28213908/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=496716 memory=414204 CPUtime=2502.16 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 448286 0 0 0 248848 1368 0 0 20 0 1 0 48841006 508637184 103551 33554432000 4194304 5849740 140725298224608 140725298223608 5339042 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 124179 103551 748 405 0 121123 0
Current children cumulated CPU time: 2502.16 s
Current children cumulated vsize: 496716 KiB
Current children cumulated memory: 414204 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.04 2.06 3/187 8268
/proc/meminfo: memFree=27991740/32770624 swapFree=67108796/67108860
[pid=8110] ppid=8107 vsize=653200 memory=570624 CPUtime=2519.87 cores=1,3,5,7
/proc/8110/stat : 8110 (xcsp_picat) R 8107 8110 6599 0 -1 4202496 450608 0 0 0 250612 1375 0 0 20 0 1 0 48841006 668876800 142656 33554432000 4194304 5849740 140725298224608 140725298223608 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16797696 140725298230454 140725298230532 140725298230532 140725298233290 0
/proc/8110/statm: 163300 142656 748 405 0 160244 0
Current children cumulated CPU time: 2519.87 s
Current children cumulated vsize: 653200 KiB
Current children cumulated memory: 570624 KiB

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

[startup+2520.02 s]
# the end of solver process 8110 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2506.13 s, system=13.7655 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.89
CPU user time (s): 2506.13
CPU system time (s): 13.7655
CPU usage (%): 99.995
Max. virtual memory (cumulated for all children) (KiB): 653200
Max. memory (cumulated for all children) (KiB): 570624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2506.13
system time used= 13.7655
maximum resident set size= 570688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 450608
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= 52
involuntary context switches= 2437


# summary of solver processes directly reported to runsolver:
#   pid: 8110
#   total CPU time (s): 2519.89
#   total CPU user time (s): 2506.13
#   total CPU system time (s): 13.7655

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.46321 second user time and 17.9572 second system time

The end

Launcher Data 

Begin job on node138 at 2018-07-23 04:26:18
IDJOB=4293296
IDBENCH=141153
IDSOLVER=2754
FILE ID=node138/4293296-1532312778
RUNJOBID= node138-1532297650-6631
PBS_JOBID= 21018993
Free space on /tmp= 59108 MiB

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

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

MD5SUM BENCH= d1d7e4f351cab0858660dafd89ccc193
RANDOM SEED=1084213006

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:        28677532 kB
MemAvailable:   31629016 kB
Buffers:          109744 kB
Cached:          3101952 kB
SwapCached:           44 kB
Active:          1516056 kB
Inactive:        2097660 kB
Active(anon):     344576 kB
Inactive(anon):    77116 kB
Active(file):    1171480 kB
Inactive(file):  2020544 kB
Unevictable:        7280 kB
Mlocked:            7280 kB
SwapTotal:      67108860 kB
SwapFree:       67108796 kB
Dirty:              3128 kB
Writeback:             0 kB
AnonPages:        510976 kB
Mapped:            33712 kB
Shmem:             16972 kB
Slab:             178884 kB
SReclaimable:     150592 kB
SUnreclaim:        28292 kB
KernelStack:        3280 kB
PageTables:         5552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     758908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    385024 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 05:08:19