Trace number 4309503

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) 2520.13 2520.07

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 (13929 MiB free)
  memory of node 1: 16384 MiB (12804 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309503-1534294867/watcher-4309503-1534294867 -o /tmp/evaluation-result-4309503-1534294867/solver-4309503-1534294867 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534292346-18983 --watchdog 2580 xcsp_picat HOME/instance-4309503-1534294867.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=19304, runsolver pid=19301

[startup+0.100213 s]*
/proc/loadavg: 2.00 2.01 1.96 3/189 19305
/proc/meminfo: memFree=27347792/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=2025744 memory=33108 CPUtime=0.1 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 1812 0 0 0 10 0 0 0 20 0 1 0 247049864 2074361856 8277 33554432000 4194304 5849940 140723248079296 140723248078600 4488307 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 506436 8277 622 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 33108 KiB

[startup+0.210111 s]*
/proc/loadavg: 2.00 2.01 1.96 3/189 19305
/proc/meminfo: memFree=27329420/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=2025744 memory=51540 CPUtime=0.21 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 1821 0 0 0 21 0 0 0 20 0 1 0 247049864 2074361856 12885 33554432000 4194304 5849940 140723248079296 140723248078600 4473364 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 506436 12885 622 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 51540 KiB

[startup+0.309867 s]*
/proc/loadavg: 2.00 2.01 1.96 3/189 19305
/proc/meminfo: memFree=27313036/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=2025744 memory=67924 CPUtime=0.31 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 1829 0 0 0 31 0 0 0 20 0 1 0 247049864 2074361856 16981 33554432000 4194304 5849940 140723248079296 140723248078600 4570273 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 506436 16981 622 405 0 503380 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 67924 KiB

[startup+0.700382 s]
/proc/loadavg: 2.00 2.01 1.96 4/189 19305
/proc/meminfo: memFree=27278220/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=2025744 memory=133588 CPUtime=0.69 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 1866 0 0 0 68 1 0 0 20 0 1 0 247049864 2074361856 33397 33554432000 4194304 5849940 140723248079296 140723248078600 4476741 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 506436 33397 622 405 0 503380 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 133588 KiB

[startup+1.50043 s]
/proc/loadavg: 2.00 2.01 1.96 2/183 19351
/proc/meminfo: memFree=27515896/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=2025744 memory=281064 CPUtime=1.49 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 1938 0 0 0 146 3 0 0 20 0 1 0 247049864 2074361856 70266 33554432000 4194304 5849940 140723248079296 140723248078600 4454563 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 506436 70266 626 405 0 503380 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 281064 KiB

[startup+3.10984 s]
/proc/loadavg: 2.00 2.01 1.96 3/189 19366
/proc/meminfo: memFree=26788156/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=2025744 memory=575976 CPUtime=3.1 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 2194 0 0 0 302 8 0 0 20 0 1 0 247049864 2074361856 143994 33554432000 4194304 5849940 140723248079296 140723248078600 4481144 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 506436 143994 626 405 0 503380 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 575976 KiB

[startup+6.30044 s]
/proc/loadavg: 1.92 2.00 1.95 3/189 19366
/proc/meminfo: memFree=25745616/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=2119496 memory=1069128 CPUtime=6.29 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 4521 0 0 0 613 16 0 0 20 0 1 0 247049864 2170363904 267282 33554432000 4194304 5849940 140723248079296 140723248078600 4488915 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 529874 267282 638 405 0 526818 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2119496 KiB
Current children cumulated memory: 1069128 KiB

[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 1.95 3/189 19366
/proc/meminfo: memFree=23124096/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=3774196 memory=2765056 CPUtime=12.69 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 10748 0 0 0 1225 44 0 0 20 0 1 0 247049864 3864776704 691264 33554432000 4194304 5849940 140723248079296 140723248078616 5249791 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 943549 691264 656 405 0 940493 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 3774196 KiB
Current children cumulated memory: 2765056 KiB

[startup+25.5005 s]
/proc/loadavg: 1.94 2.00 1.95 3/189 19366
/proc/meminfo: memFree=18675164/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=5792856 memory=5069480 CPUtime=25.49 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 14975 0 0 0 2440 109 0 0 20 0 1 0 247049864 5931884544 1267370 33554432000 4194304 5849940 140723248079296 140723248078584 4488758 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 1448214 1267370 657 405 0 1445158 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 5792856 KiB
Current children cumulated memory: 5069480 KiB

[startup+51.1101 s]
/proc/loadavg: 1.96 2.00 1.95 3/189 19366
/proc/meminfo: memFree=3436284/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=12362936 memory=12186152 CPUtime=51.11 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 23861 0 0 0 4867 244 0 0 20 0 1 0 247049864 12659646464 3046538 33554432000 4194304 5849940 140723248079296 140723248078296 5269656 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 3090734 3046538 658 405 0 3087678 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 12362936 KiB
Current children cumulated memory: 12186152 KiB

[startup+102.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/189 19367
/proc/meminfo: memFree=14553744/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=8498680 memory=6512160 CPUtime=102.29 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 39646 0 0 0 9704 525 0 0 20 0 1 0 247049864 8702648320 1628040 33554432000 4194304 5849940 140723248079296 140723248078264 5249712 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 2124670 1628040 658 405 0 2121614 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 8498680 KiB
Current children cumulated memory: 6512160 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/189 19368
/proc/meminfo: memFree=3187192/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=12485012 memory=12313504 CPUtime=162.29 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 59492 0 0 0 15389 840 0 0 20 0 1 0 247049864 12784652288 3078376 33554432000 4194304 5849940 140723248079296 140723248078296 5260393 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 3121253 3078376 658 405 0 3118197 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 12485012 KiB
Current children cumulated memory: 12313504 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/189 19369
/proc/meminfo: memFree=7721848/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=8581688 memory=7811380 CPUtime=222.29 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 81189 0 0 0 21102 1127 0 0 20 0 1 0 247049864 8787648512 1952845 33554432000 4194304 5849940 140723248079296 140723248078264 5249712 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 2145422 1952845 658 405 0 2142366 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 8581688 KiB
Current children cumulated memory: 7811380 KiB

[startup+282.3 s]
/proc/loadavg: 2.05 2.03 1.97 3/188 19370
/proc/meminfo: memFree=8618964/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=12607076 memory=12434220 CPUtime=282.3 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 100094 0 0 0 26791 1439 0 0 20 0 1 0 247049864 12909645824 3108555 33554432000 4194304 5849940 140723248079296 140723248078296 5260600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 3151769 3108555 658 405 0 3148713 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 12607076 KiB
Current children cumulated memory: 12434220 KiB

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 1.97 3/188 19371
/proc/meminfo: memFree=6831708/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=8664696 memory=8506860 CPUtime=342.29 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 117637 0 0 0 32491 1738 0 0 20 0 1 0 247049864 8872648704 2126715 33554432000 4194304 5849940 140723248079296 140723248078264 5262261 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 2166174 2126715 658 405 0 2163118 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 8664696 KiB
Current children cumulated memory: 8506860 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/188 19372
/proc/meminfo: memFree=6802096/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=12729152 memory=12555612 CPUtime=402.3 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 132851 0 0 0 38199 2031 0 0 20 0 1 0 247049864 13034651648 3138903 33554432000 4194304 5849940 140723248079296 140723248078296 5269659 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 3182288 3138903 658 405 0 3179232 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 12729152 KiB
Current children cumulated memory: 12555612 KiB

[startup+462.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/188 19415
/proc/meminfo: memFree=6598468/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=8747700 memory=8591324 CPUtime=462.3 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 150094 0 0 0 43901 2329 0 0 20 0 1 0 247049864 8957644800 2147831 33554432000 4194304 5849940 140723248079296 140723248078264 5262261 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 2186925 2147831 658 405 0 2183869 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 8747700 KiB
Current children cumulated memory: 8591324 KiB


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

/proc/19304/statm: 2394446 2108718 658 405 0 2391390 0
Current children cumulated CPU time: 1722.34 s
Current children cumulated vsize: 9577784 KiB
Current children cumulated memory: 8434872 KiB

[startup+1782.3 s]
/proc/loadavg: 1.96 2.00 1.98 3/187 19460
/proc/meminfo: memFree=4630452/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=14071924 memory=13900164 CPUtime=1782.35 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 542199 0 0 0 169236 8999 0 0 20 0 1 0 247049864 14409650176 3475041 33554432000 4194304 5849940 140723248079296 140723248078296 5260600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 3517981 3475041 658 405 0 3514925 0
Current children cumulated CPU time: 1782.35 s
Current children cumulated vsize: 14071924 KiB
Current children cumulated memory: 13900164 KiB

[startup+1842.3 s]
/proc/loadavg: 1.99 2.00 1.98 3/187 19461
/proc/meminfo: memFree=219860/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=14120752 memory=13950044 CPUtime=1842.34 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 554182 0 0 0 174971 9263 0 0 20 0 1 0 247049864 14459650048 3487511 33554432000 4194304 5849940 140723248079296 140723248078296 5260393 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 3530188 3487511 658 405 0 3527132 0
Current children cumulated CPU time: 1842.34 s
Current children cumulated vsize: 14120752 KiB
Current children cumulated memory: 13950044 KiB

[startup+1902.3 s]
/proc/loadavg: 1.99 2.00 1.98 3/187 19462
/proc/meminfo: memFree=4698932/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=9693988 memory=5733860 CPUtime=1902.34 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 568979 0 0 0 180694 9540 0 0 20 0 1 0 247049864 9926643712 1433465 33554432000 4194304 5849940 140723248079296 140723248078296 5251309 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 2423497 1433465 658 405 0 2420441 0
Current children cumulated CPU time: 1902.34 s
Current children cumulated vsize: 9693988 KiB
Current children cumulated memory: 5733860 KiB

[startup+1962.3 s]
/proc/loadavg: 1.94 1.98 1.98 3/187 19463
/proc/meminfo: memFree=13302668/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=9727196 memory=7792464 CPUtime=1962.34 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 585615 0 0 0 186392 9842 0 0 20 0 1 0 247049864 9960648704 1948116 33554432000 4194304 5849940 140723248079296 140723248078264 5251354 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 2431799 1948116 658 405 0 2428743 0
Current children cumulated CPU time: 1962.34 s
Current children cumulated vsize: 9727196 KiB
Current children cumulated memory: 7792464 KiB

[startup+2022.3 s]
/proc/loadavg: 1.98 1.99 1.98 3/187 19464
/proc/meminfo: memFree=9616916/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=9760400 memory=9578528 CPUtime=2022.35 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 605561 0 0 0 192083 10152 0 0 20 0 1 0 247049864 9994649600 2394632 33554432000 4194304 5849940 140723248079296 140723248078264 5250904 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 2440100 2394632 658 405 0 2437044 0
Current children cumulated CPU time: 2022.35 s
Current children cumulated vsize: 9760400 KiB
Current children cumulated memory: 9578528 KiB

[startup+2082.3 s]
/proc/loadavg: 1.98 1.99 1.98 3/187 19465
/proc/meminfo: memFree=215056/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=14340476 memory=14169140 CPUtime=2082.35 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 622047 0 0 0 197750 10485 0 0 20 0 1 0 247049864 14684647424 3542285 33554432000 4194304 5849940 140723248079296 140723248078296 5260600 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 3585119 3542285 658 405 0 3582063 0
Current children cumulated CPU time: 2082.35 s
Current children cumulated vsize: 14340476 KiB
Current children cumulated memory: 14169140 KiB

[startup+2142.3 s]
/proc/loadavg: 1.99 1.99 1.98 3/187 19466
/proc/meminfo: memFree=203952/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=14389308 memory=14216980 CPUtime=2142.36 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 635252 0 0 0 203487 10749 0 0 20 0 1 0 247049864 14734651392 3554245 33554432000 4194304 5849940 140723248079296 140723248078296 5257285 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 3597327 3554245 658 405 0 3594271 0
Current children cumulated CPU time: 2142.36 s
Current children cumulated vsize: 14389308 KiB
Current children cumulated memory: 14216980 KiB

[startup+2202.3 s]
/proc/loadavg: 1.95 1.97 1.97 3/187 19467
/proc/meminfo: memFree=212016/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=14438136 memory=14264832 CPUtime=2202.36 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 648814 0 0 0 209223 11013 0 0 20 0 1 0 247049864 14784651264 3566208 33554432000 4194304 5849940 140723248079296 140723248078296 5269659 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 3609534 3566208 658 405 0 3606478 0
Current children cumulated CPU time: 2202.36 s
Current children cumulated vsize: 14438136 KiB
Current children cumulated memory: 14264832 KiB

[startup+2262.3 s]
/proc/loadavg: 1.98 1.98 1.97 3/187 19468
/proc/meminfo: memFree=14753240/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=9909812 memory=6876356 CPUtime=2262.36 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 883804 0 0 0 214855 11381 0 0 20 0 1 0 247049864 10147647488 1719089 33554432000 4194304 5849940 140723248079296 140723248078264 5251285 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 2477453 1719089 658 405 0 2474397 0
Current children cumulated CPU time: 2262.36 s
Current children cumulated vsize: 9909812 KiB
Current children cumulated memory: 6876356 KiB

[startup+2322.3 s]
/proc/loadavg: 1.99 1.98 1.97 3/187 19469
/proc/meminfo: memFree=11541376/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=9943012 memory=8160648 CPUtime=2322.36 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 1201010 0 0 0 220465 11771 0 0 20 0 1 0 247049864 10181644288 2040162 33554432000 4194304 5849940 140723248079296 140723248078264 5249640 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 2485753 2040162 658 405 0 2482697 0
Current children cumulated CPU time: 2322.36 s
Current children cumulated vsize: 9943012 KiB
Current children cumulated memory: 8160648 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/188 19478
/proc/meminfo: memFree=5379400/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=9976220 memory=9326176 CPUtime=2382.36 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 1537695 0 0 0 226101 12135 0 0 20 0 1 0 247049864 10215649280 2331544 33554432000 4194304 5849940 140723248079296 140723248078264 5250742 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 2494055 2331544 658 405 0 2490999 0
Current children cumulated CPU time: 2382.36 s
Current children cumulated vsize: 9976220 KiB
Current children cumulated memory: 9326176 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/188 19479
/proc/meminfo: memFree=4807292/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=10009424 memory=9852884 CPUtime=2442.35 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 1895882 0 0 0 231674 12561 0 0 20 0 1 0 247049864 10249650176 2463221 33554432000 4194304 5849940 140723248079296 140723248078264 5262261 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 2502356 2463221 658 405 0 2499300 0
Current children cumulated CPU time: 2442.35 s
Current children cumulated vsize: 10009424 KiB
Current children cumulated memory: 9852884 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 1.97 3/188 19480
/proc/meminfo: memFree=738188/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=14706688 memory=14036660 CPUtime=2502.35 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 12593152 2288448 0 0 0 237126 13109 0 0 20 0 1 0 247049864 15059648512 3509165 33554432000 4194304 5849940 140723248079296 140723248078296 5269297 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 3676672 3509165 658 405 0 3673616 0
Current children cumulated CPU time: 2502.35 s
Current children cumulated vsize: 14706688 KiB
Current children cumulated memory: 14036660 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 1.99 1.97 3/188 19480
/proc/meminfo: memFree=7853948/32770624 swapFree=67030680/67108860
[pid=19304] ppid=19301 vsize=10059224 memory=6893400 CPUtime=2520.06 cores=0,2,4,6
/proc/19304/stat : 19304 (xcsp_picat) R 19301 19304 18952 0 -1 4202496 2410181 0 0 0 238796 13210 0 0 20 0 1 0 247049864 10300645376 1723350 33554432000 4194304 5849940 140723248079296 140723248078264 5251276 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 22614016 140723248088246 140723248088324 140723248088324 140723248091082 0
/proc/19304/statm: 2514806 1723350 658 405 0 2511750 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10059224 KiB
Current children cumulated memory: 6893400 KiB

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

[startup+2520.06 s]
# the end of solver process 19304 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2387.97 s, system=132.158 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.07
CPU time (s): 2520.13
CPU user time (s): 2387.97
CPU system time (s): 132.158
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 14706688
Max. memory (cumulated for all children) (KiB): 14533768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2387.97
system time used= 132.158
maximum resident set size= 14533768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2410181
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 975


# summary of solver processes directly reported to runsolver:
#   pid: 19304
#   total CPU time (s): 2520.13
#   total CPU user time (s): 2387.97
#   total CPU system time (s): 132.158

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.12765 second user time and 21.0106 second system time

The end

Launcher Data 

Begin job on node102 at 2018-08-15 03:01:07
IDJOB=4309503
IDBENCH=141100
IDSOLVER=2794
FILE ID=node102/4309503-1534294867
RUNJOBID= node102-1534292346-18983
PBS_JOBID= 21038132
Free space on /tmp= 39520 MiB

SOLVER NAME= PicatSAT 2018-08-14
BENCH NAME= XCSP18/Tal/Tal-07_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309503-1534294867/watcher-4309503-1534294867 -o /tmp/evaluation-result-4309503-1534294867/solver-4309503-1534294867 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534292346-18983 --watchdog 2580  xcsp_picat HOME/instance-4309503-1534294867.xml

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

MD5SUM BENCH= 5a4be603cb990ae6ed40c9d9f121c88d
RANDOM SEED=2023574559

node102.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.51
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.51
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.51
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.51
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:        27376848 kB
MemAvailable:   31556580 kB
Buffers:          204524 kB
Cached:          4226012 kB
SwapCached:        51224 kB
Active:          2224584 kB
Inactive:        2607012 kB
Active(anon):     325872 kB
Inactive(anon):   126916 kB
Active(file):    1898712 kB
Inactive(file):  2480096 kB
Unevictable:        7348 kB
Mlocked:            7348 kB
SwapTotal:      67108860 kB
SwapFree:       67030680 kB
Dirty:              3444 kB
Writeback:             0 kB
AnonPages:        357580 kB
Mapped:            54784 kB
Shmem:             49036 kB
Slab:             258148 kB
SReclaimable:     229384 kB
SUnreclaim:        28764 kB
KernelStack:        3376 kB
PageTables:         6120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2700512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    172032 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 39516 MiB
End job on node102 at 2018-08-15 03:43:07