Trace number 4309852

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-14? (TO) 2519.94 2520.02

General information on the benchmark

NameAuction/Auction-cnt/
Auction-cnt-decay400_c18.xml
MD5SUMef5bf96e0ba9cc2c7a758eef92479658
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2494709
Best CPU time to get the best result obtained on this benchmark2520.12
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":"count","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 (8894 MiB free)
  memory of node 1: 16384 MiB (9582 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309852-1534298081/watcher-4309852-1534298081 -o /tmp/evaluation-result-4309852-1534298081/solver-4309852-1534298081 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534293040-16588 --watchdog 2580 xcsp_picat HOME/instance-4309852-1534298081.xml 

running on 4 cores: 0,2,4,6

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
Current StackSize limit: 8192 KiB

solver pid=17249, runsolver pid=17246

[startup+0.100202 s]*
/proc/loadavg: 2.02 2.09 2.04 3/188 17250
/proc/meminfo: memFree=18893776/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2025744 memory=30988 CPUtime=0.1 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 1295 0 0 0 10 0 0 0 20 0 1 0 247371313 2074361856 7747 33554432000 4194304 5849940 140734520212336 140734520212336 4533214 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 506436 7747 625 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 30988 KiB

[startup+0.209804 s]*
/proc/loadavg: 2.02 2.09 2.04 3/188 17250
/proc/meminfo: memFree=18874972/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2025744 memory=48264 CPUtime=0.21 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 1489 0 0 0 21 0 0 0 20 0 1 0 247371313 2074361856 12066 33554432000 4194304 5849940 140734520212336 140734520212336 140606296625031 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 506436 12066 713 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 48264 KiB

[startup+0.309622 s]*
/proc/loadavg: 2.02 2.09 2.04 3/188 17250
/proc/meminfo: memFree=18874972/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2025744 memory=48264 CPUtime=0.31 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 1503 0 0 0 31 0 0 0 20 0 1 0 247371313 2074361856 12066 33554432000 4194304 5849940 140734520212336 140734520212336 140606296625031 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 506436 12066 713 405 0 503380 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 48264 KiB

[startup+0.700332 s]
/proc/loadavg: 2.02 2.09 2.04 3/188 17250
/proc/meminfo: memFree=18874972/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2025880 memory=48264 CPUtime=0.69 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 1521 0 0 0 69 0 0 0 20 0 1 0 247371313 2074501120 12066 33554432000 4194304 5849940 140734520212336 140734520211576 5606430 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 506470 12066 713 405 0 503414 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025880 KiB
Current children cumulated memory: 48264 KiB

[startup+1.50033 s]
/proc/loadavg: 2.02 2.09 2.04 3/188 17250
/proc/meminfo: memFree=18874660/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2025880 memory=48264 CPUtime=1.49 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 1521 0 0 0 149 0 0 0 20 0 1 0 247371313 2074501120 12066 33554432000 4194304 5849940 140734520212336 140734520211576 5521648 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 506470 12066 713 405 0 503414 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025880 KiB
Current children cumulated memory: 48264 KiB

[startup+3.10903 s]
/proc/loadavg: 2.02 2.09 2.04 3/188 17250
/proc/meminfo: memFree=18874536/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2025976 memory=48508 CPUtime=3.1 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 1642 0 0 0 310 0 0 0 20 0 1 0 247371313 2074599424 12127 33554432000 4194304 5849940 140734520212336 140734520211448 5473846 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 506494 12127 714 405 0 503438 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2025976 KiB
Current children cumulated memory: 48508 KiB

[startup+6.30033 s]
/proc/loadavg: 2.02 2.09 2.04 3/188 17250
/proc/meminfo: memFree=18874424/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2025976 memory=48592 CPUtime=6.29 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 1785 0 0 0 629 0 0 0 20 0 1 0 247371313 2074599424 12148 33554432000 4194304 5849940 140734520212336 140734520211432 5521652 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 506494 12148 714 405 0 503438 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2025976 KiB
Current children cumulated memory: 48592 KiB

[startup+12.7003 s]
/proc/loadavg: 2.02 2.09 2.04 3/188 17250
/proc/meminfo: memFree=18873864/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2026080 memory=48600 CPUtime=12.69 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 1945 0 0 0 1269 0 0 0 20 0 1 0 247371313 2074705920 12150 33554432000 4194304 5849940 140734520212336 140734520211432 5606384 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 506520 12150 714 405 0 503464 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2026080 KiB
Current children cumulated memory: 48600 KiB

[startup+25.5004 s]
/proc/loadavg: 2.01 2.08 2.04 3/188 17251
/proc/meminfo: memFree=18839436/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2061372 memory=83996 CPUtime=25.49 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 21222 0 0 0 2544 5 0 0 20 0 1 0 247371313 2110844928 20999 33554432000 4194304 5849940 140734520212336 140734520210824 140606296625031 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 515343 20999 747 405 0 512287 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2061372 KiB
Current children cumulated memory: 83996 KiB

[startup+51.1095 s]
/proc/loadavg: 2.08 2.09 2.05 3/187 17251
/proc/meminfo: memFree=18787848/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2055120 memory=77744 CPUtime=51.1 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 35804 0 0 0 5088 22 0 0 20 0 1 0 247371313 2104442880 19436 33554432000 4194304 5849940 140734520212336 140734520210824 5306755 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 513780 19436 747 405 0 510724 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2055120 KiB
Current children cumulated memory: 77744 KiB

[startup+102.3 s]
/proc/loadavg: 2.03 2.08 2.05 3/187 17252
/proc/meminfo: memFree=18787352/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2056956 memory=78940 CPUtime=102.29 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 49480 0 0 0 10179 50 0 0 20 0 1 0 247371313 2106322944 19735 33554432000 4194304 5849940 140734520212336 140734520211336 5313196 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 514239 19735 747 405 0 511183 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2056956 KiB
Current children cumulated memory: 78940 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.06 2.05 3/187 17253
/proc/meminfo: memFree=18780472/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2062520 memory=85180 CPUtime=162.28 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 55667 0 0 0 16142 86 0 0 20 0 1 0 247371313 2112020480 21295 33554432000 4194304 5849940 140734520212336 140734520211336 140606296625031 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 515630 21295 747 405 0 512574 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2062520 KiB
Current children cumulated memory: 85180 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/187 17255
/proc/meminfo: memFree=18752092/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2091268 memory=113892 CPUtime=222.28 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 66258 0 0 0 22114 114 0 0 20 0 1 0 247371313 2141458432 28473 33554432000 4194304 5849940 140734520212336 140734520211336 5356177 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 522817 28473 747 405 0 519761 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2091268 KiB
Current children cumulated memory: 113892 KiB

[startup+282.3 s]
/proc/loadavg: 2.20 2.09 2.06 3/187 17378
/proc/meminfo: memFree=19214780/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2102144 memory=124736 CPUtime=282.27 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 79622 0 0 0 28085 142 0 0 20 0 1 0 247371313 2152595456 31184 33554432000 4194304 5849940 140734520212336 140734520211336 5413271 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 525536 31184 747 405 0 522480 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2102144 KiB
Current children cumulated memory: 124736 KiB

[startup+342.3 s]
/proc/loadavg: 2.07 2.07 2.05 3/186 17386
/proc/meminfo: memFree=19187764/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2102480 memory=129744 CPUtime=342.27 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 82035 0 0 0 34056 171 0 0 20 0 1 0 247371313 2152939520 32436 33554432000 4194304 5849940 140734520212336 140734520211336 140606296625031 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 525620 32436 747 405 0 522564 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2102480 KiB
Current children cumulated memory: 129744 KiB

[startup+402.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/187 17410
/proc/meminfo: memFree=19150276/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2101368 memory=128888 CPUtime=402.27 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 89838 0 0 0 40022 205 0 0 20 0 1 0 247371313 2151800832 32222 33554432000 4194304 5849940 140734520212336 140734520211336 5437837 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 525342 32222 747 405 0 522286 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2101368 KiB
Current children cumulated memory: 128888 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/187 17411
/proc/meminfo: memFree=19138228/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2101324 memory=128844 CPUtime=462.26 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 89912 0 0 0 45996 230 0 0 20 0 1 0 247371313 2151755776 32211 33554432000 4194304 5849940 140734520212336 140734520211336 5438519 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 525331 32211 747 405 0 522275 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2101324 KiB
Current children cumulated memory: 128844 KiB


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

/proc/17249/statm: 541993 48841 747 405 0 538937 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 2167972 KiB
Current children cumulated memory: 195364 KiB

[startup+1782.3 s]
/proc/loadavg: 2.22 2.06 2.06 3/188 17449
/proc/meminfo: memFree=18913000/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2188004 memory=215360 CPUtime=1782.23 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 198421 0 0 0 177441 782 0 0 20 0 1 0 247371313 2240516096 53840 33554432000 4194304 5849940 140734520212336 140734520211336 140606296625031 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 547001 53840 747 405 0 543945 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 2188004 KiB
Current children cumulated memory: 215360 KiB

[startup+1842.3 s]
/proc/loadavg: 2.37 2.15 2.09 3/187 17451
/proc/meminfo: memFree=18836284/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2178424 memory=205816 CPUtime=1842.23 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 201495 0 0 0 183418 805 0 0 20 0 1 0 247371313 2230706176 51454 33554432000 4194304 5849940 140734520212336 140734520211208 140606296625031 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 544606 51454 747 405 0 541550 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 2178424 KiB
Current children cumulated memory: 205816 KiB

[startup+1902.3 s]
/proc/loadavg: 2.13 2.12 2.09 3/187 17452
/proc/meminfo: memFree=18836536/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2178324 memory=205716 CPUtime=1902.22 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 203698 0 0 0 189398 824 0 0 20 0 1 0 247371313 2230603776 51429 33554432000 4194304 5849940 140734520212336 140734520211336 140606296625031 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 544581 51429 747 405 0 541525 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 2178324 KiB
Current children cumulated memory: 205716 KiB

[startup+1962.3 s]
/proc/loadavg: 2.05 2.10 2.08 3/187 17453
/proc/meminfo: memFree=18898392/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2105284 memory=132804 CPUtime=1962.22 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 209259 0 0 0 195371 851 0 0 20 0 1 0 247371313 2155810816 33201 33554432000 4194304 5849940 140734520212336 140734520211336 140606296625031 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 526321 33201 747 405 0 523265 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 2105284 KiB
Current children cumulated memory: 132804 KiB

[startup+2022.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/187 17455
/proc/meminfo: memFree=18876800/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2127792 memory=155104 CPUtime=2022.22 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 210917 0 0 0 201347 875 0 0 20 0 1 0 247371313 2178859008 38776 33554432000 4194304 5849940 140734520212336 140734520211496 140606296625031 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 531948 38776 747 405 0 528892 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 2127792 KiB
Current children cumulated memory: 155104 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 17456
/proc/meminfo: memFree=18868796/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2135868 memory=163260 CPUtime=2082.22 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 216793 0 0 0 207324 898 0 0 20 0 1 0 247371313 2187128832 40815 33554432000 4194304 5849940 140734520212336 140734520211336 140606296625031 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 533967 40815 747 405 0 530911 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 2135868 KiB
Current children cumulated memory: 163260 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/188 17465
/proc/meminfo: memFree=18841844/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2162256 memory=189564 CPUtime=2142.22 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 218351 0 0 0 213300 922 0 0 20 0 1 0 247371313 2214150144 47391 33554432000 4194304 5849940 140734520212336 140734520211336 5339164 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 540564 47391 747 405 0 537508 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 2162256 KiB
Current children cumulated memory: 189564 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/188 17466
/proc/meminfo: memFree=18825584/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2178636 memory=206156 CPUtime=2202.22 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 231494 0 0 0 219271 951 0 0 20 0 1 0 247371313 2230923264 51539 33554432000 4194304 5849940 140734520212336 140734520211336 5437906 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 544659 51539 747 405 0 541603 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 2178636 KiB
Current children cumulated memory: 206156 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 17467
/proc/meminfo: memFree=18870352/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2132912 memory=160432 CPUtime=2262.21 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 233200 0 0 0 225245 976 0 0 20 0 1 0 247371313 2184101888 40108 33554432000 4194304 5849940 140734520212336 140734520211336 140606296625031 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 533228 40108 747 405 0 530172 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 2132912 KiB
Current children cumulated memory: 160432 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 17468
/proc/meminfo: memFree=18855708/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2148668 memory=176060 CPUtime=2322.22 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 245699 0 0 0 231225 997 0 0 20 0 1 0 247371313 2200236032 44015 33554432000 4194304 5849940 140734520212336 140734520211496 140606296625031 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 537167 44015 747 405 0 534111 0
Current children cumulated CPU time: 2322.22 s
Current children cumulated vsize: 2148668 KiB
Current children cumulated memory: 176060 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 17469
/proc/meminfo: memFree=18855568/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2148768 memory=176160 CPUtime=2382.21 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 247576 0 0 0 237200 1021 0 0 20 0 1 0 247371313 2200338432 44040 33554432000 4194304 5849940 140734520212336 140734520211336 5438314 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 537192 44040 747 405 0 534136 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 2148768 KiB
Current children cumulated memory: 176160 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 17470
/proc/meminfo: memFree=18840492/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2163120 memory=190512 CPUtime=2442.21 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 263767 0 0 0 243174 1047 0 0 20 0 1 0 247371313 2215034880 47628 33554432000 4194304 5849940 140734520212336 140734520211336 5437828 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 540780 47628 747 405 0 537724 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 2163120 KiB
Current children cumulated memory: 190512 KiB

[startup+2502.3 s]
/proc/loadavg: 2.49 2.16 2.09 3/187 17471
/proc/meminfo: memFree=18808284/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2195888 memory=223256 CPUtime=2502.21 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 264593 0 0 0 249153 1068 0 0 20 0 1 0 247371313 2248589312 55814 33554432000 4194304 5849940 140734520212336 140734520211208 140606296625031 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 548972 55814 747 405 0 545916 0
Current children cumulated CPU time: 2502.21 s
Current children cumulated vsize: 2195888 KiB
Current children cumulated memory: 223256 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.35 2.15 2.09 3/187 17471
/proc/meminfo: memFree=18937200/32770624 swapFree=67108860/67108860
[pid=17249] ppid=17246 vsize=2195888 memory=223280 CPUtime=2519.91 cores=0,2,4,6
/proc/17249/stat : 17249 (xcsp_picat) R 17246 17249 16557 0 -1 4202496 273409 0 0 0 250918 1073 0 0 20 0 1 0 247371313 2248589312 55820 33554432000 4194304 5849940 140734520212336 140734520211336 140606296625031 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9396308 38068224 140734520218806 140734520218884 140734520218884 140734520221642 0
/proc/17249/statm: 548972 55820 747 405 0 545916 0
Current children cumulated CPU time: 2519.91 s
Current children cumulated vsize: 2195888 KiB
Current children cumulated memory: 223280 KiB

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

[startup+2520.02 s]
# the end of solver process 17249 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2509.19 s, system=10.7457 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.94
CPU user time (s): 2509.19
CPU system time (s): 10.7457
CPU usage (%): 99.9969
Max. virtual memory (cumulated for all children) (KiB): 2244268
Max. memory (cumulated for all children) (KiB): 271660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2509.19
system time used= 10.7457
maximum resident set size= 271660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273409
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= 14
involuntary context switches= 1201


# summary of solver processes directly reported to runsolver:
#   pid: 17249
#   total CPU time (s): 2519.94
#   total CPU user time (s): 2509.19
#   total CPU system time (s): 10.7457

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.70491 second user time and 18.6291 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-15 03:54:41
IDJOB=4309852
IDBENCH=141160
IDSOLVER=2794
FILE ID=node139/4309852-1534298081
RUNJOBID= node139-1534293040-16588
PBS_JOBID= 21038134
Free space on /tmp= 35092 MiB

SOLVER NAME= PicatSAT 2018-08-14
BENCH NAME= XCSP18/Auction/Auction-cnt/Auction-cnt-decay400_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309852-1534298081/watcher-4309852-1534298081 -o /tmp/evaluation-result-4309852-1534298081/solver-4309852-1534298081 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534293040-16588 --watchdog 2580  xcsp_picat HOME/instance-4309852-1534298081.xml

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

MD5SUM BENCH= ef5bf96e0ba9cc2c7a758eef92479658
RANDOM SEED=2120360895

node139.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.80
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.80
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.80
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.80
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:        18921100 kB
MemAvailable:   31476332 kB
Buffers:          265792 kB
Cached:         12380424 kB
SwapCached:            0 kB
Active:          6467604 kB
Inactive:        6662188 kB
Active(anon):     437300 kB
Inactive(anon):    98616 kB
Active(file):    6030304 kB
Inactive(file):  6563572 kB
Unevictable:        7192 kB
Mlocked:            7192 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3132 kB
Writeback:             0 kB
AnonPages:        490196 kB
Mapped:            68016 kB
Shmem:             49804 kB
Slab:             417948 kB
SReclaimable:     389816 kB
SUnreclaim:        28132 kB
KernelStack:        3360 kB
PageTables:         6556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2802680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 35088 MiB
End job on node139 at 2018-08-15 04:36:42