Trace number 4294803

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PicatSAT 2018-06-15? (TO) 2519.97 2520.02

General information on the benchmark

NameLowAutocorrelation/
LowAutocorrelation-050_c18.xml
MD5SUM22f254a3908600e49eb95db263b253c5
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark289
Best CPU time to get the best result obtained on this benchmark2520.12
Satisfiable
(Un)Satisfiability was proved
Number of variables2549
Number of constraints1323
Number of domains99
Minimum domain size2
Maximum domain size99
Distribution of domain sizes[{"size":2,"count":1276},{"size":3,"count":2},{"size":4,"count":1},{"size":5,"count":2},{"size":6,"count":1},{"size":7,"count":2},{"size":8,"count":1},{"size":9,"count":2},{"size":10,"count":1},{"size":11,"count":2},{"size":12,"count":1},{"size":13,"count":2},{"size":14,"count":1},{"size":15,"count":2},{"size":16,"count":1},{"size":17,"count":2},{"size":18,"count":1},{"size":19,"count":2},{"size":20,"count":1},{"size":21,"count":2},{"size":22,"count":1},{"size":23,"count":2},{"size":24,"count":1},{"size":25,"count":2},{"size":26,"count":1},"...",{"size":51,"count":1}, {"size":53,"count":1}, {"size":55,"count":1}, {"size":57,"count":1}, {"size":59,"count":1}, {"size":61,"count":1}, {"size":63,"count":1}, {"size":65,"count":1}, {"size":67,"count":1}, {"size":69,"count":1}, {"size":71,"count":1}, {"size":73,"count":1}, {"size":75,"count":1}, {"size":77,"count":1}, {"size":79,"count":1}, {"size":81,"count":1}, {"size":83,"count":1}, {"size":85,"count":1}, {"size":87,"count":1}, {"size":89,"count":1}, {"size":91,"count":1}, {"size":93,"count":1}, {"size":95,"count":1}, {"size":97,"count":1}, {"size":99,"count":1}]
Minimum variable degree0
Maximum variable degree49
Distribution of variable degrees[{"degree":0,"count":1176},{"degree":2,"count":1323},{"degree":49,"count":50}]
Minimum constraint arity2
Maximum constraint arity50
Distribution of constraint arities[{"arity":2,"count":50},{"arity":3,"count":1226},{"arity":4,"count":1},{"arity":5,"count":1},{"arity":6,"count":1},{"arity":7,"count":1},{"arity":8,"count":1},{"arity":9,"count":1},{"arity":10,"count":1},{"arity":11,"count":1},{"arity":12,"count":1},{"arity":13,"count":1},{"arity":14,"count":1},{"arity":15,"count":1},{"arity":16,"count":1},{"arity":17,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":1},{"arity":21,"count":1},{"arity":22,"count":1},{"arity":23,"count":1},{"arity":24,"count":1},{"arity":25,"count":1},{"arity":26,"count":1},{"arity":27,"count":1},{"arity":28,"count":1},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":31,"count":1},{"arity":32,"count":1},{"arity":33,"count":1},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":37,"count":1},{"arity":38,"count":1},{"arity":39,"count":1},{"arity":40,"count":1},{"arity":41,"count":1},{"arity":42,"count":1},{"arity":43,"count":1},{"arity":44,"count":1},{"arity":45,"count":1},{"arity":46,"count":1},{"arity":47,"count":1},{"arity":48,"count":1},{"arity":49,"count":1},{"arity":50,"count":1}]
Number of extensional constraints0
Number of intensional constraints1274
Distribution of constraint types[{"type":"intension","count":1274},{"type":"sum","count":49}]
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 (6763 MiB free)
  memory of node 1: 16384 MiB (13856 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294803-1532452249/watcher-4294803-1532452249 -o /tmp/evaluation-result-4294803-1532452249/solver-4294803-1532452249 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532432860-27369 --watchdog 2580 xcsp_picat HOME/instance-4294803-1532452249.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=721, runsolver pid=718
Current StackSize limit: 8192 KiB


[startup+0.100164 s]*
/proc/loadavg: 2.23 2.15 2.10 3/191 722
/proc/meminfo: memFree=21093996/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=127988 memory=24256 CPUtime=0.09 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 2168 0 0 0 8 1 0 0 20 0 1 0 62788116 131059712 6064 33554432000 4194304 5849740 140723933745040 140723933745040 5521452 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 31997 6064 710 405 0 28941 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 127988 KiB
Current children cumulated memory: 24256 KiB

[startup+0.209951 s]*
/proc/loadavg: 2.23 2.15 2.10 3/191 722
/proc/meminfo: memFree=21093624/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=128128 memory=24256 CPUtime=0.2 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 2190 0 0 0 19 1 0 0 20 0 1 0 62788116 131203072 6064 33554432000 4194304 5849740 140723933745040 140723933745040 5472454 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 32032 6064 710 405 0 28976 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 128128 KiB
Current children cumulated memory: 24256 KiB

[startup+0.30909 s]*
/proc/loadavg: 2.23 2.15 2.10 3/191 722
/proc/meminfo: memFree=21093624/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=128128 memory=24256 CPUtime=0.3 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 2190 0 0 0 29 1 0 0 20 0 1 0 62788116 131203072 6064 33554432000 4194304 5849740 140723933745040 140723933744136 140487661131719 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 32032 6064 710 405 0 28976 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 128128 KiB
Current children cumulated memory: 24256 KiB

[startup+0.700278 s]
/proc/loadavg: 2.23 2.15 2.10 3/191 722
/proc/meminfo: memFree=21093624/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=128332 memory=24516 CPUtime=0.68 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 2266 0 0 0 67 1 0 0 20 0 1 0 62788116 131411968 6129 33554432000 4194304 5849740 140723933745040 140723933744280 140487661543303 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 32083 6129 712 405 0 29027 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 128332 KiB
Current children cumulated memory: 24516 KiB

[startup+1.50031 s]
/proc/loadavg: 2.23 2.15 2.10 3/191 722
/proc/meminfo: memFree=21086960/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=135068 memory=31148 CPUtime=1.49 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 4522 0 0 0 147 2 0 0 20 0 1 0 62788116 138309632 7787 33554432000 4194304 5849740 140723933745040 140723933744280 5302888 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 33767 7787 737 405 0 30711 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 135068 KiB
Current children cumulated memory: 31148 KiB

[startup+3.10949 s]
/proc/loadavg: 2.23 2.15 2.10 3/191 722
/proc/meminfo: memFree=21085244/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=136424 memory=32760 CPUtime=3.1 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 6026 0 0 0 307 3 0 0 20 0 1 0 62788116 139698176 8190 33554432000 4194304 5849740 140723933745040 140723933742584 4212046 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 34106 8190 741 405 0 31050 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 136424 KiB
Current children cumulated memory: 32760 KiB

[startup+6.30027 s]
/proc/loadavg: 2.21 2.15 2.09 3/191 722
/proc/meminfo: memFree=21083028/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=138588 memory=34996 CPUtime=6.29 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 8775 0 0 0 623 6 0 0 20 0 1 0 62788116 141914112 8749 33554432000 4194304 5849740 140723933745040 140723933742072 4211417 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 34647 8749 754 405 0 31591 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 138588 KiB
Current children cumulated memory: 34996 KiB

[startup+12.7003 s]
/proc/loadavg: 2.12 2.13 2.09 3/191 722
/proc/meminfo: memFree=21081972/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=139804 memory=36244 CPUtime=12.69 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 10606 0 0 0 1258 11 0 0 20 0 1 0 62788116 143159296 9061 33554432000 4194304 5849740 140723933745040 140723933744040 140487661543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 34951 9061 754 405 0 31895 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 139804 KiB
Current children cumulated memory: 36244 KiB

[startup+25.5003 s]
/proc/loadavg: 2.09 2.12 2.09 3/191 722
/proc/meminfo: memFree=21079120/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=142544 memory=38984 CPUtime=25.49 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 16001 0 0 0 2527 22 0 0 20 0 1 0 62788116 145965056 9746 33554432000 4194304 5849740 140723933745040 140723933744040 140487661543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 35636 9746 754 405 0 32580 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 142544 KiB
Current children cumulated memory: 38984 KiB

[startup+51.1096 s]
/proc/loadavg: 2.06 2.11 2.08 3/191 722
/proc/meminfo: memFree=21071616/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=150056 memory=46544 CPUtime=51.09 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 22704 0 0 0 5067 42 0 0 20 0 1 0 62788116 153657344 11636 33554432000 4194304 5849740 140723933745040 140723933744040 140487661543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 37514 11636 754 405 0 34458 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 150056 KiB
Current children cumulated memory: 46544 KiB

[startup+102.3 s]
/proc/loadavg: 2.11 2.11 2.09 3/191 723
/proc/meminfo: memFree=20977664/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=155140 memory=51580 CPUtime=102.29 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 31606 0 0 0 10157 72 0 0 20 0 1 0 62788116 158863360 12895 33554432000 4194304 5849740 140723933745040 140723933744040 140487661543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 38785 12895 754 405 0 35729 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 155140 KiB
Current children cumulated memory: 51580 KiB

[startup+162.3 s]
/proc/loadavg: 2.04 2.09 2.08 3/191 724
/proc/meminfo: memFree=20990804/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=142480 memory=38716 CPUtime=162.29 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 48637 0 0 0 16114 115 0 0 20 0 1 0 62788116 145899520 9679 33554432000 4194304 5849740 140723933745040 140723933744040 140487661543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 35620 9679 754 405 0 32564 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 142480 KiB
Current children cumulated memory: 38716 KiB

[startup+222.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/191 725
/proc/meminfo: memFree=20962004/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=164640 memory=67368 CPUtime=222.29 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 55589 0 0 0 22075 154 0 0 20 0 1 0 62788116 168591360 16842 33554432000 4194304 5849740 140723933745040 140723933744040 140487661543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 41160 16842 754 405 0 38104 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 164640 KiB
Current children cumulated memory: 67368 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.06 2.07 3/190 726
/proc/meminfo: memFree=20956088/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=170464 memory=73716 CPUtime=282.29 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 57760 0 0 0 28043 186 0 0 20 0 1 0 62788116 174555136 18429 33554432000 4194304 5849740 140723933745040 140723933744040 140487661543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 42616 18429 754 405 0 39560 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 170464 KiB
Current children cumulated memory: 73716 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/190 727
/proc/meminfo: memFree=20956256/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=170464 memory=73716 CPUtime=342.28 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 60041 0 0 0 34018 210 0 0 20 0 1 0 62788116 174555136 18429 33554432000 4194304 5849740 140723933745040 140723933744040 140487661543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 42616 18429 754 405 0 39560 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 170464 KiB
Current children cumulated memory: 73716 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/190 728
/proc/meminfo: memFree=20944816/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=182232 memory=85396 CPUtime=402.28 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 69603 0 0 0 39986 242 0 0 20 0 1 0 62788116 186605568 21349 33554432000 4194304 5849740 140723933745040 140723933744040 140487661543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 45558 21349 754 405 0 42502 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 182232 KiB
Current children cumulated memory: 85396 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/190 729
/proc/meminfo: memFree=20912364/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=186312 memory=89556 CPUtime=462.28 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 78866 0 0 0 45956 272 0 0 20 0 1 0 62788116 190783488 22389 33554432000 4194304 5849740 140723933745040 140723933744040 5359048 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 46578 22389 754 405 0 43522 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 186312 KiB
Current children cumulated memory: 89556 KiB


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

/proc/721/statm: 71796 47545 754 405 0 68740 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 287184 KiB
Current children cumulated memory: 190180 KiB

[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/192 969
/proc/meminfo: memFree=17691004/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=225484 memory=128500 CPUtime=1782.25 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 344134 0 0 0 177426 799 0 0 20 0 1 0 62788116 230895616 32125 33554432000 4194304 5849740 140723933745040 140723933743912 5340888 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 56371 32125 754 405 0 53315 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 225484 KiB
Current children cumulated memory: 128500 KiB

[startup+1842.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/192 970
/proc/meminfo: memFree=17638868/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=278336 memory=181172 CPUtime=1842.25 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 357708 0 0 0 183406 819 0 0 20 0 1 0 62788116 285016064 45293 33554432000 4194304 5849740 140723933745040 140723933744040 5437698 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 69584 45293 754 405 0 66528 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 278336 KiB
Current children cumulated memory: 181172 KiB

[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/191 971
/proc/meminfo: memFree=17672824/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=244368 memory=147548 CPUtime=1902.25 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 383967 0 0 0 189387 838 0 0 20 0 1 0 62788116 250232832 36887 33554432000 4194304 5849740 140723933745040 140723933744040 140487661543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 61092 36887 754 405 0 58036 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 244368 KiB
Current children cumulated memory: 147548 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 972
/proc/meminfo: memFree=16601924/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=265372 memory=168624 CPUtime=1962.25 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 395509 0 0 0 195370 855 0 0 20 0 1 0 62788116 271740928 42156 33554432000 4194304 5849740 140723933745040 140723933744040 140487661543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 66343 42156 754 405 0 63287 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 265372 KiB
Current children cumulated memory: 168624 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 973
/proc/meminfo: memFree=16577144/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=290232 memory=193484 CPUtime=2022.25 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 408239 0 0 0 201353 872 0 0 20 0 1 0 62788116 297197568 48371 33554432000 4194304 5849740 140723933745040 140723933744040 140487661543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 72558 48371 754 405 0 69502 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 290232 KiB
Current children cumulated memory: 193484 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/190 974
/proc/meminfo: memFree=16548156/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=319296 memory=222548 CPUtime=2082.24 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 420993 0 0 0 207338 886 0 0 20 0 1 0 62788116 326959104 55637 33554432000 4194304 5849740 140723933745040 140723933744040 140487661543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 79824 55637 754 405 0 76768 0
Current children cumulated CPU time: 2082.24 s
Current children cumulated vsize: 319296 KiB
Current children cumulated memory: 222548 KiB

[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/190 975
/proc/meminfo: memFree=16511856/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=355544 memory=258796 CPUtime=2142.24 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 435410 0 0 0 213324 900 0 0 20 0 1 0 62788116 364077056 64699 33554432000 4194304 5849740 140723933745040 140723933744040 5360437 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 88886 64699 754 405 0 85830 0
Current children cumulated CPU time: 2142.24 s
Current children cumulated vsize: 355544 KiB
Current children cumulated memory: 258796 KiB

[startup+2202.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/190 976
/proc/meminfo: memFree=16412764/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=454128 memory=357380 CPUtime=2202.25 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 467434 0 0 0 219309 916 0 0 20 0 1 0 62788116 465027072 89345 33554432000 4194304 5849740 140723933745040 140723933744040 140487661543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 113532 89345 754 405 0 110476 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 454128 KiB
Current children cumulated memory: 357380 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/190 977
/proc/meminfo: memFree=16413104/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=454128 memory=357380 CPUtime=2262.24 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 469193 0 0 0 225296 928 0 0 20 0 1 0 62788116 465027072 89345 33554432000 4194304 5849740 140723933745040 140723933744040 5437607 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 113532 89345 754 405 0 110476 0
Current children cumulated CPU time: 2262.24 s
Current children cumulated vsize: 454128 KiB
Current children cumulated memory: 357380 KiB

[startup+2322.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/190 978
/proc/meminfo: memFree=16543636/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=323748 memory=227000 CPUtime=2322.24 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 487023 0 0 0 231274 950 0 0 20 0 1 0 62788116 331517952 56750 33554432000 4194304 5849740 140723933745040 140723933744040 140487661543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 80937 56750 754 405 0 77881 0
Current children cumulated CPU time: 2322.24 s
Current children cumulated vsize: 323748 KiB
Current children cumulated memory: 227000 KiB

[startup+2382.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/191 987
/proc/meminfo: memFree=16388972/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=377960 memory=281212 CPUtime=2382.24 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 502814 0 0 0 237257 967 0 0 20 0 1 0 62788116 387031040 70303 33554432000 4194304 5849740 140723933745040 140723933744040 140487661543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 94490 70303 754 405 0 91434 0
Current children cumulated CPU time: 2382.24 s
Current children cumulated vsize: 377960 KiB
Current children cumulated memory: 281212 KiB

[startup+2442.3 s]
/proc/loadavg: 2.12 2.05 2.05 3/191 988
/proc/meminfo: memFree=16508172/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=358096 memory=261212 CPUtime=2442.25 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 519204 0 0 0 243245 980 0 0 20 0 1 0 62788116 366690304 65303 33554432000 4194304 5849740 140723933745040 140723933744040 140487661543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 89524 65303 754 405 0 86468 0
Current children cumulated CPU time: 2442.25 s
Current children cumulated vsize: 358096 KiB
Current children cumulated memory: 261212 KiB

[startup+2502.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/191 989
/proc/meminfo: memFree=16508224/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=358096 memory=261348 CPUtime=2502.25 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 533730 0 0 0 249232 993 0 0 20 0 1 0 62788116 366690304 65337 33554432000 4194304 5849740 140723933745040 140723933744040 140487661543303 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 89524 65337 754 405 0 86468 0
Current children cumulated CPU time: 2502.25 s
Current children cumulated vsize: 358096 KiB
Current children cumulated memory: 261348 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.03 2.04 2.05 3/191 989
/proc/meminfo: memFree=16508248/32770624 swapFree=67108860/67108860
[pid=721] ppid=718 vsize=358096 memory=261348 CPUtime=2519.95 cores=1,3,5,7
/proc/721/stat : 721 (xcsp_picat) R 718 721 27337 0 -1 4202496 546483 0 0 0 250999 996 0 0 20 0 1 0 62788116 366690304 65337 33554432000 4194304 5849740 140723933745040 140723933744040 5335568 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9399828 38240256 140723933750454 140723933750532 140723933750532 140723933753290 0
/proc/721/statm: 89524 65337 754 405 0 86468 0
Current children cumulated CPU time: 2519.95 s
Current children cumulated vsize: 358096 KiB
Current children cumulated memory: 261348 KiB

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

[startup+2520.02 s]
# the end of solver process 721 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2510 s, system=9.9749 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.97
CPU user time (s): 2510
CPU system time (s): 9.9749
CPU usage (%): 99.9983
Max. virtual memory (cumulated for all children) (KiB): 454128
Max. memory (cumulated for all children) (KiB): 357380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510
system time used= 9.9749
maximum resident set size= 357380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 546485
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= 18
involuntary context switches= 1657


# summary of solver processes directly reported to runsolver:
#   pid: 721
#   total CPU time (s): 2519.97
#   total CPU user time (s): 2510
#   total CPU system time (s): 9.9749

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.232 second user time and 17.6895 second system time

The end

Launcher Data 

Begin job on node132 at 2018-07-24 19:10:49
IDJOB=4294803
IDBENCH=141427
IDSOLVER=2754
FILE ID=node132/4294803-1532452249
RUNJOBID= node132-1532432860-27369
PBS_JOBID= 21021577
Free space on /tmp= 52472 MiB

SOLVER NAME= PicatSAT 2018-06-15
BENCH NAME= XCSP18/LowAutocorrelation/LowAutocorrelation-050_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4294803-1532452249/watcher-4294803-1532452249 -o /tmp/evaluation-result-4294803-1532452249/solver-4294803-1532452249 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532432860-27369 --watchdog 2580  xcsp_picat HOME/instance-4294803-1532452249.xml

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

MD5SUM BENCH= 22f254a3908600e49eb95db263b253c5
RANDOM SEED=2016096901

node132.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.65
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.65
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.65
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.65
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:        21115288 kB
MemAvailable:   31670304 kB
Buffers:          185948 kB
Cached:         10533492 kB
SwapCached:            0 kB
Active:          2824948 kB
Inactive:        8219244 kB
Active(anon):     273556 kB
Inactive(anon):    70696 kB
Active(file):    2551392 kB
Inactive(file):  8148548 kB
Unevictable:        7020 kB
Mlocked:            7020 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              3152 kB
Writeback:             0 kB
AnonPages:        331732 kB
Mapped:            41036 kB
Shmem:             17056 kB
Slab:             310880 kB
SReclaimable:     283536 kB
SUnreclaim:        27344 kB
KernelStack:        3360 kB
PageTables:         5616 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     706984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 52468 MiB
End job on node132 at 2018-07-24 19:52:50