Trace number 4293948

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) 2520.04 2520.03

General information on the benchmark

NameFapp/Fapp-m2s/
Fapp-m2s-08-0700_c18.xml
MD5SUM1726f38b1078149b3b3b5e51280bc638
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark542126384
Best CPU time to get the best result obtained on this benchmark2521
Satisfiable
(Un)Satisfiability was proved
Number of variables11265
Number of constraints7122
Number of domains159
Minimum domain size1
Maximum domain size141
Distribution of domain sizes[{"size":1,"count":4},{"size":2,"count":3984},{"size":11,"count":3288},{"size":12,"count":1},{"size":21,"count":10},{"size":23,"count":9},{"size":27,"count":51},{"size":31,"count":72},{"size":34,"count":11},{"size":35,"count":15},{"size":37,"count":59},{"size":38,"count":4},{"size":39,"count":29},{"size":40,"count":1},{"size":41,"count":17},{"size":42,"count":10},{"size":43,"count":1},{"size":44,"count":7},{"size":45,"count":25},{"size":47,"count":11},{"size":49,"count":70},{"size":51,"count":80},{"size":52,"count":2},{"size":53,"count":2},{"size":54,"count":5},"...",{"size":104,"count":55}, {"size":105,"count":9}, {"size":106,"count":46}, {"size":107,"count":8}, {"size":108,"count":6}, {"size":109,"count":6}, {"size":111,"count":41}, {"size":112,"count":53}, {"size":113,"count":10}, {"size":114,"count":14}, {"size":115,"count":6}, {"size":117,"count":78}, {"size":118,"count":117}, {"size":119,"count":35}, {"size":127,"count":73}, {"size":128,"count":21}, {"size":129,"count":2}, {"size":130,"count":15}, {"size":131,"count":18}, {"size":133,"count":2}, {"size":135,"count":74}, {"size":136,"count":50}, {"size":137,"count":18}, {"size":140,"count":8}, {"size":141,"count":1776}]
Minimum variable degree1
Maximum variable degree3289
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":9869},{"degree":3,"count":14},{"degree":4,"count":31},{"degree":5,"count":51},{"degree":6,"count":71},{"degree":7,"count":99},{"degree":8,"count":104},{"degree":9,"count":116},{"degree":10,"count":158},{"degree":11,"count":226},{"degree":12,"count":258},{"degree":13,"count":171},{"degree":14,"count":35},{"degree":15,"count":26},{"degree":16,"count":18},{"degree":17,"count":8},{"degree":18,"count":6},{"degree":19,"count":1},{"degree":3289,"count":1}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":546},{"arity":3,"count":3288},{"arity":6,"count":3288}]
Number of extensional constraints3288
Number of intensional constraints3834
Distribution of constraint types[{"type":"extension","count":3288},{"type":"intension","count":3834}]
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 (1813 MiB free)
  memory of node 1: 16384 MiB (7005 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293948-1532402252/watcher-4293948-1532402252 -o /tmp/evaluation-result-4293948-1532402252/solver-4293948-1532402252 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532369589-13986 --watchdog 2580 xcsp_picat HOME/instance-4293948-1532402252.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=17080, runsolver pid=17077
Current StackSize limit: 8192 KiB


[startup+0.100166 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 17081
/proc/meminfo: memFree=9011296/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=111688 memory=22104 CPUtime=0.1 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 1638 0 0 0 10 0 0 0 20 0 1 0 57788497 114368512 5526 33554432000 4194304 5849740 140731801052944 140731801052944 140561013218304 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 27922 5526 596 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 22104 KiB

[startup+0.209731 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 17081
/proc/meminfo: memFree=9002612/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=132664 memory=30840 CPUtime=0.2 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 2776 0 0 0 20 0 0 0 20 0 1 0 57788497 135847936 7710 33554432000 4194304 5849740 140731801052944 140731801052944 140561013218304 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 33166 7710 631 405 0 30110 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 132664 KiB
Current children cumulated memory: 30840 KiB

[startup+0.309619 s]*
/proc/loadavg: 2.00 2.02 2.05 3/187 17081
/proc/meminfo: memFree=8997336/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=133924 memory=36248 CPUtime=0.31 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 3208 0 0 0 30 1 0 0 20 0 1 0 57788497 137138176 9062 33554432000 4194304 5849740 140731801052944 140731801052944 5250806 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 33481 9062 631 405 0 30425 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 133924 KiB
Current children cumulated memory: 36248 KiB

[startup+0.700417 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 17081
/proc/meminfo: memFree=8991456/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=138776 memory=47288 CPUtime=0.69 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 4200 0 0 0 68 1 0 0 20 0 1 0 57788497 142106624 11822 33554432000 4194304 5849740 140731801052944 140731801052944 5249560 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 34694 11822 631 405 0 31638 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 138776 KiB
Current children cumulated memory: 47288 KiB

[startup+1.50042 s]
/proc/loadavg: 1.92 2.01 2.04 3/187 17081
/proc/meminfo: memFree=8982768/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=148148 memory=64720 CPUtime=1.49 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 7605 0 0 0 144 5 0 0 20 0 1 0 57788497 151703552 16180 33554432000 4194304 5849740 140731801052944 140731801052248 4515016 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 37037 16180 631 405 0 33981 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 148148 KiB
Current children cumulated memory: 64720 KiB

[startup+3.10972 s]
/proc/loadavg: 1.92 2.01 2.04 3/187 17081
/proc/meminfo: memFree=8966936/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=162588 memory=91596 CPUtime=3.1 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 13868 0 0 0 296 14 0 0 20 0 1 0 57788497 166490112 22899 33554432000 4194304 5849740 140731801052944 140731801051912 140561013218304 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 40647 22899 631 405 0 37591 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 162588 KiB
Current children cumulated memory: 91596 KiB

[startup+6.30038 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 17081
/proc/meminfo: memFree=8891592/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=178768 memory=118016 CPUtime=6.29 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 27034 0 0 0 592 37 0 0 20 0 1 0 57788497 183058432 29504 33554432000 4194304 5849740 140731801052944 140731801051912 5250855 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 44692 29504 631 405 0 41636 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 178768 KiB
Current children cumulated memory: 118016 KiB

[startup+12.7004 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 17081
/proc/meminfo: memFree=8821680/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=291296 memory=151584 CPUtime=12.69 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 41652 0 0 0 1199 70 0 0 20 0 1 0 57788497 298287104 37896 33554432000 4194304 5849740 140731801052944 140731801052248 5251109 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 72824 37896 632 405 0 69768 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 291296 KiB
Current children cumulated memory: 151584 KiB

[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 17081
/proc/meminfo: memFree=8689452/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=539544 memory=396724 CPUtime=25.49 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 77649 0 0 0 2376 173 0 0 20 0 1 0 57788497 552493056 99181 33554432000 4194304 5849740 140731801052944 140731801052248 140561013218304 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 134886 99181 632 405 0 131830 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 539544 KiB
Current children cumulated memory: 396724 KiB

[startup+51.1096 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 17081
/proc/meminfo: memFree=8679336/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=571672 memory=447320 CPUtime=51.1 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 100876 0 0 0 4760 350 0 0 20 0 1 0 57788497 585392128 111830 33554432000 4194304 5849740 140731801052944 140731801051912 5249600 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 142918 111830 632 405 0 139862 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 571672 KiB
Current children cumulated memory: 447320 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17082
/proc/meminfo: memFree=8274088/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=1122916 memory=1015136 CPUtime=102.29 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 152050 0 0 0 9496 733 0 0 20 0 1 0 57788497 1149865984 253784 33554432000 4194304 5849740 140731801052944 140731801051912 5251261 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 280729 253784 632 405 0 277673 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 1122916 KiB
Current children cumulated memory: 1015136 KiB

[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/188 17152
/proc/meminfo: memFree=12049896/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=2165460 memory=1978148 CPUtime=162.29 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 205831 0 0 0 15084 1145 0 0 20 0 1 0 57788497 2217431040 494537 33554432000 4194304 5849740 140731801052944 140731801052264 5250879 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 541365 494537 632 405 0 538309 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2165460 KiB
Current children cumulated memory: 1978148 KiB

[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/188 17153
/proc/meminfo: memFree=10709708/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=2180808 memory=1379092 CPUtime=222.28 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 233265 0 0 0 20743 1485 0 0 20 0 1 0 57788497 2233147392 344773 33554432000 4194304 5849740 140731801052944 140731801051912 5250855 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 545202 344773 632 405 0 542146 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2180808 KiB
Current children cumulated memory: 1379092 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/188 17154
/proc/meminfo: memFree=10425464/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=2199396 memory=2141104 CPUtime=282.29 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 275806 0 0 0 26147 2082 0 0 20 0 1 0 57788497 2252181504 535276 33554432000 4194304 5849740 140731801052944 140731801052264 5250792 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 549849 535276 632 405 0 546793 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2199396 KiB
Current children cumulated memory: 2141104 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17155
/proc/meminfo: memFree=7542384/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=5592356 memory=5025372 CPUtime=342.29 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 321545 0 0 0 31772 2457 0 0 20 0 1 0 57788497 5726572544 1256343 33554432000 4194304 5849740 140731801052944 140731801052232 4556138 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 1398089 1256343 662 405 0 1395033 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 5592356 KiB
Current children cumulated memory: 5025372 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 17156
/proc/meminfo: memFree=5720668/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=9907472 memory=6831948 CPUtime=402.28 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 346994 0 0 0 37509 2719 0 0 20 0 1 0 57788497 10145251328 1707987 33554432000 4194304 5849740 140731801052944 140731801052184 5521440 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 2476868 1707987 727 405 0 2473812 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 9907472 KiB
Current children cumulated memory: 6831948 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 17158
/proc/meminfo: memFree=5305764/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=10322308 memory=7246892 CPUtime=462.28 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 399851 0 0 0 43432 2796 0 0 20 0 1 0 57788497 10570043392 1811723 33554432000 4194304 5849740 140731801052944 140731801051432 5319737 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 2580577 1811723 754 405 0 2577521 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 10322308 KiB
Current children cumulated memory: 7246892 KiB


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

/proc/17080/statm: 2562001 1794243 760 405 0 2558945 0
Current children cumulated CPU time: 1722.29 s
Current children cumulated vsize: 10248004 KiB
Current children cumulated memory: 7176972 KiB

[startup+1782.3 s]
/proc/loadavg: 1.01 1.33 1.73 2/180 17245
/proc/meminfo: memFree=7057788/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=10311792 memory=7240760 CPUtime=1782.29 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 822732 0 0 0 175250 2979 0 0 20 0 1 0 57788497 10559275008 1810190 33554432000 4194304 5849740 140731801052944 140731801051352 5319733 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 2577948 1810190 760 405 0 2574892 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 10311792 KiB
Current children cumulated memory: 7240760 KiB

[startup+1842.3 s]
/proc/loadavg: 1.00 1.27 1.68 2/180 17246
/proc/meminfo: memFree=7188444/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=10180720 memory=7109688 CPUtime=1842.29 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 828633 0 0 0 181222 3007 0 0 20 0 1 0 57788497 10425057280 1777422 33554432000 4194304 5849740 140731801052944 140731801051944 140561013239687 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 2545180 1777422 760 405 0 2542124 0
Current children cumulated CPU time: 1842.29 s
Current children cumulated vsize: 10180720 KiB
Current children cumulated memory: 7109688 KiB

[startup+1902.3 s]
/proc/loadavg: 1.00 1.22 1.64 2/180 17247
/proc/meminfo: memFree=7257576/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=10111888 memory=7040856 CPUtime=1902.3 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 833847 0 0 0 187202 3028 0 0 20 0 1 0 57788497 10354573312 1760214 33554432000 4194304 5849740 140731801052944 140731801051944 5340238 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 2527972 1760214 760 405 0 2524916 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 10111888 KiB
Current children cumulated memory: 7040856 KiB

[startup+1962.3 s]
/proc/loadavg: 1.00 1.18 1.60 2/181 17256
/proc/meminfo: memFree=7256552/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=10111888 memory=7040856 CPUtime=1962.3 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 841795 0 0 0 193178 3052 0 0 20 0 1 0 57788497 10354573312 1760214 33554432000 4194304 5849740 140731801052944 140731801051944 140561013239687 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 2527972 1760214 760 405 0 2524916 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 10111888 KiB
Current children cumulated memory: 7040856 KiB

[startup+2022.3 s]
/proc/loadavg: 1.00 1.15 1.56 2/181 17257
/proc/meminfo: memFree=7257480/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=10111356 memory=7040324 CPUtime=2022.3 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 848451 0 0 0 199152 3078 0 0 20 0 1 0 57788497 10354028544 1760081 33554432000 4194304 5849740 140731801052944 140731801051432 4208752 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 2527839 1760081 760 405 0 2524783 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 10111356 KiB
Current children cumulated memory: 7040324 KiB

[startup+2082.3 s]
/proc/loadavg: 1.00 1.12 1.53 2/181 17258
/proc/meminfo: memFree=7257868/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=10110444 memory=7039412 CPUtime=2082.29 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 854962 0 0 0 205121 3108 0 0 20 0 1 0 57788497 10353094656 1759853 33554432000 4194304 5849740 140731801052944 140731801051944 140561013239687 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 2527611 1759853 760 405 0 2524555 0
Current children cumulated CPU time: 2082.29 s
Current children cumulated vsize: 10110444 KiB
Current children cumulated memory: 7039412 KiB

[startup+2142.3 s]
/proc/loadavg: 1.22 1.15 1.51 2/181 17259
/proc/meminfo: memFree=7201792/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=10167744 memory=7096664 CPUtime=2142.3 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 860669 0 0 0 211104 3126 0 0 20 0 1 0 57788497 10411769856 1774166 33554432000 4194304 5849740 140731801052944 140731801051432 5319730 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 2541936 1774166 760 405 0 2538880 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 10167744 KiB
Current children cumulated memory: 7096664 KiB

[startup+2202.3 s]
/proc/loadavg: 1.43 1.24 1.52 2/181 17260
/proc/meminfo: memFree=7259196/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=10109956 memory=7038924 CPUtime=2202.29 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 865715 0 0 0 217070 3159 0 0 20 0 1 0 57788497 10352594944 1759731 33554432000 4194304 5849740 140731801052944 140731801051944 140561013239687 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 2527489 1759731 760 405 0 2524433 0
Current children cumulated CPU time: 2202.29 s
Current children cumulated vsize: 10109956 KiB
Current children cumulated memory: 7038924 KiB

[startup+2262.3 s]
/proc/loadavg: 1.16 1.20 1.48 2/180 17262
/proc/meminfo: memFree=7259244/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=10109956 memory=7038924 CPUtime=2262.3 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 871528 0 0 0 223046 3184 0 0 20 0 1 0 57788497 10352594944 1759731 33554432000 4194304 5849740 140731801052944 140731801051944 5438384 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 2527489 1759731 760 405 0 2524433 0
Current children cumulated CPU time: 2262.3 s
Current children cumulated vsize: 10109956 KiB
Current children cumulated memory: 7038924 KiB

[startup+2322.3 s]
/proc/loadavg: 1.06 1.16 1.46 2/180 17263
/proc/meminfo: memFree=7259616/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=10109576 memory=7038544 CPUtime=2322.3 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 877717 0 0 0 229019 3211 0 0 20 0 1 0 57788497 10352205824 1759636 33554432000 4194304 5849740 140731801052944 140731801051432 5310056 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 2527394 1759636 760 405 0 2524338 0
Current children cumulated CPU time: 2322.3 s
Current children cumulated vsize: 10109576 KiB
Current children cumulated memory: 7038544 KiB

[startup+2382.3 s]
/proc/loadavg: 1.02 1.13 1.43 2/180 17264
/proc/meminfo: memFree=7259616/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=10109576 memory=7038544 CPUtime=2382.3 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 885502 0 0 0 234976 3254 0 0 20 0 1 0 57788497 10352205824 1759636 33554432000 4194304 5849740 140731801052944 140731801051944 140561013239687 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 2527394 1759636 760 405 0 2524338 0
Current children cumulated CPU time: 2382.3 s
Current children cumulated vsize: 10109576 KiB
Current children cumulated memory: 7038544 KiB

[startup+2442.3 s]
/proc/loadavg: 1.01 1.11 1.40 2/180 17266
/proc/meminfo: memFree=7204684/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=10165400 memory=7094368 CPUtime=2442.3 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 892939 0 0 0 240947 3283 0 0 20 0 1 0 57788497 10409369600 1773592 33554432000 4194304 5849740 140731801052944 140731801051944 5360882 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 2541350 1773592 760 405 0 2538294 0
Current children cumulated CPU time: 2442.3 s
Current children cumulated vsize: 10165400 KiB
Current children cumulated memory: 7094368 KiB

[startup+2502.3 s]
/proc/loadavg: 1.00 1.09 1.38 2/180 17267
/proc/meminfo: memFree=7204668/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=10165400 memory=7094368 CPUtime=2502.3 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 899135 0 0 0 246903 3327 0 0 20 0 1 0 57788497 10409369600 1773592 33554432000 4194304 5849740 140731801052944 140731801051816 5416916 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 2541350 1773592 760 405 0 2538294 0
Current children cumulated CPU time: 2502.3 s
Current children cumulated vsize: 10165400 KiB
Current children cumulated memory: 7094368 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 1.00 1.08 1.37 2/180 17268
/proc/meminfo: memFree=7204604/32770624 swapFree=67108860/67108860
[pid=17080] ppid=17077 vsize=10165400 memory=7094368 CPUtime=2520.01 cores=1,3,5,7
/proc/17080/stat : 17080 (xcsp_picat) R 17077 17080 13954 0 -1 4202496 901610 0 0 0 248673 3328 0 0 20 0 1 0 57788497 10409369600 1773592 33554432000 4194304 5849740 140731801052944 140731801051944 140561013239687 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 32378880 140731801060534 140731801060612 140731801060612 140731801063370 0
/proc/17080/statm: 2541350 1773592 760 405 0 2538294 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10165400 KiB
Current children cumulated memory: 7094368 KiB

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

[startup+2520.03 s]
# the end of solver process 17080 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2486.74 s, system=33.3083 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.03
CPU time (s): 2520.04
CPU user time (s): 2486.74
CPU system time (s): 33.3083
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 13907476
Max. memory (cumulated for all children) (KiB): 9781068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2486.74
system time used= 33.3083
maximum resident set size= 9781068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 901610
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= 22
involuntary context switches= 1087


# summary of solver processes directly reported to runsolver:
#   pid: 17080
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2486.74
#   total CPU system time (s): 33.3083

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.10304 second user time and 20.5158 second system time

The end

Launcher Data 

Begin job on node137 at 2018-07-24 05:17:33
IDJOB=4293948
IDBENCH=141271
IDSOLVER=2754
FILE ID=node137/4293948-1532402252
RUNJOBID= node137-1532369589-13986
PBS_JOBID= 21021571
Free space on /tmp= 48372 MiB

SOLVER NAME= PicatSAT 2018-06-15
BENCH NAME= XCSP18/Fapp/Fapp-m2s/Fapp-m2s-08-0700_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4293948-1532402252/watcher-4293948-1532402252 -o /tmp/evaluation-result-4293948-1532402252/solver-4293948-1532402252 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532369589-13986 --watchdog 2580  xcsp_picat HOME/instance-4293948-1532402252.xml

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

MD5SUM BENCH= 1726f38b1078149b3b3b5e51280bc638
RANDOM SEED=1738529256

node137.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.54
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.56
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.54
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.56
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.54
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.56
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.54
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:         9031168 kB
MemAvailable:   26810604 kB
Buffers:          198196 kB
Cached:         17525352 kB
SwapCached:            0 kB
Active:          7315308 kB
Inactive:       15579460 kB
Active(anon):    5116648 kB
Inactive(anon):    74292 kB
Active(file):    2198660 kB
Inactive(file): 15505168 kB
Unevictable:        7312 kB
Mlocked:            7312 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            214932 kB
Writeback:             0 kB
AnonPages:       5178476 kB
Mapped:            40360 kB
Shmem:             17036 kB
Slab:             532424 kB
SReclaimable:     504068 kB
SUnreclaim:        28356 kB
KernelStack:        3280 kB
PageTables:        15156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    6238508 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4919296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 48516 MiB
End job on node137 at 2018-07-24 05:59:33