Trace number 4309559

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PicatSAT 2018-08-14? (TO) 2519.89 2520.01

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309559-1534308383/watcher-4309559-1534308383 -o /tmp/evaluation-result-4309559-1534308383/solver-4309559-1534308383 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534293053-324 --watchdog 2580 xcsp_picat HOME/instance-4309559-1534308383.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=3364, runsolver pid=3361
Current StackSize limit: 8192 KiB


[startup+0.100158 s]*
/proc/loadavg: 2.12 2.02 2.04 3/187 3365
/proc/meminfo: memFree=23633732/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2025880 memory=18288 CPUtime=0.1 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 1663 0 0 0 8 2 0 0 20 0 1 0 248401523 2074501120 4572 33554432000 4194304 5849940 140734908363328 140734908363328 5606430 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 506470 4572 705 405 0 503414 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025880 KiB
Current children cumulated memory: 18288 KiB

[startup+0.209561 s]*
/proc/loadavg: 2.12 2.02 2.04 3/187 3365
/proc/meminfo: memFree=23633732/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2026000 memory=18416 CPUtime=0.21 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 1686 0 0 0 19 2 0 0 20 0 1 0 248401523 2074624000 4604 33554432000 4194304 5849940 140734908363328 140734908363328 5520032 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 506500 4604 709 405 0 503444 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2026000 KiB
Current children cumulated memory: 18416 KiB

[startup+0.308776 s]*
/proc/loadavg: 2.12 2.02 2.04 3/187 3365
/proc/meminfo: memFree=23633360/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2025968 memory=18416 CPUtime=0.31 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 1687 0 0 0 29 2 0 0 20 0 1 0 248401523 2074591232 4604 33554432000 4194304 5849940 140734908363328 140734908363328 139984024366851 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 506492 4604 709 405 0 503436 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025968 KiB
Current children cumulated memory: 18416 KiB

[startup+0.700271 s]
/proc/loadavg: 2.12 2.02 2.04 3/187 3365
/proc/meminfo: memFree=23633196/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2026008 memory=18376 CPUtime=0.69 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 1708 0 0 0 67 2 0 0 20 0 1 0 248401523 2074632192 4594 33554432000 4194304 5849940 140734908363328 140734908362440 139984024833927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 506502 4594 709 405 0 503446 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2026008 KiB
Current children cumulated memory: 18376 KiB

[startup+1.5003 s]
/proc/loadavg: 2.12 2.02 2.04 3/187 3365
/proc/meminfo: memFree=23626464/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2036464 memory=28812 CPUtime=1.49 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 5140 0 0 0 146 3 0 0 20 0 1 0 248401523 2085339136 7203 33554432000 4194304 5849940 140734908363328 140734908361592 5362301 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 509116 7203 729 405 0 506060 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2036464 KiB
Current children cumulated memory: 28812 KiB

[startup+3.10925 s]
/proc/loadavg: 2.11 2.02 2.04 3/187 3365
/proc/meminfo: memFree=23621068/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2038588 memory=30848 CPUtime=3.1 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 6736 0 0 0 306 4 0 0 20 0 1 0 248401523 2087514112 7712 33554432000 4194304 5849940 140734908363328 140734908360872 4208968 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 509647 7712 738 405 0 506591 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2038588 KiB
Current children cumulated memory: 30848 KiB

[startup+6.30028 s]
/proc/loadavg: 2.11 2.02 2.04 3/187 3365
/proc/meminfo: memFree=23622988/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2036648 memory=29252 CPUtime=6.29 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 10014 0 0 0 622 7 0 0 20 0 1 0 248401523 2085527552 7313 33554432000 4194304 5849940 140734908363328 140734908361816 4208603 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 509162 7313 751 405 0 506106 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2036648 KiB
Current children cumulated memory: 29252 KiB

[startup+12.7003 s]
/proc/loadavg: 2.18 2.03 2.05 3/187 3365
/proc/meminfo: memFree=23622740/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2036648 memory=29252 CPUtime=12.68 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 11900 0 0 0 1256 12 0 0 20 0 1 0 248401523 2085527552 7313 33554432000 4194304 5849940 140734908363328 140734908362328 139984024833927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 509162 7313 751 405 0 506106 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2036648 KiB
Current children cumulated memory: 29252 KiB

[startup+25.5003 s]
/proc/loadavg: 2.15 2.03 2.05 3/187 3365
/proc/meminfo: memFree=23619516/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2039952 memory=32556 CPUtime=25.48 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 17487 0 0 0 2525 23 0 0 20 0 1 0 248401523 2088910848 8139 33554432000 4194304 5849940 140734908363328 140734908362328 139984024833927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 509988 8139 751 405 0 506932 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2039952 KiB
Current children cumulated memory: 32556 KiB

[startup+51.1094 s]
/proc/loadavg: 2.16 2.04 2.05 3/187 3365
/proc/meminfo: memFree=23613068/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2046228 memory=38832 CPUtime=51.09 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 23209 0 0 0 5068 41 0 0 20 0 1 0 248401523 2095337472 9708 33554432000 4194304 5849940 140734908363328 140734908362328 5437882 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 511557 9708 751 405 0 508501 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2046228 KiB
Current children cumulated memory: 38832 KiB

[startup+102.3 s]
/proc/loadavg: 2.10 2.05 2.05 3/187 3366
/proc/meminfo: memFree=23587188/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2058000 memory=50392 CPUtime=102.29 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 36221 0 0 0 10157 72 0 0 20 0 1 0 248401523 2107392000 12598 33554432000 4194304 5849940 140734908363328 140734908362328 139984024833927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 514500 12598 751 405 0 511444 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2058000 KiB
Current children cumulated memory: 50392 KiB

[startup+162.3 s]
/proc/loadavg: 2.11 2.06 2.05 3/187 3367
/proc/meminfo: memFree=23606160/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2042236 memory=31440 CPUtime=162.28 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 55422 0 0 0 16121 107 0 0 20 0 1 0 248401523 2091249664 7860 33554432000 4194304 5849940 140734908363328 140734908361816 4211600 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 510559 7860 751 405 0 507503 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2042236 KiB
Current children cumulated memory: 31440 KiB

[startup+222.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/187 3375
/proc/meminfo: memFree=23589592/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2054064 memory=46492 CPUtime=222.28 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 59384 0 0 0 22078 150 0 0 20 0 1 0 248401523 2103361536 11623 33554432000 4194304 5849940 140734908363328 140734908362328 139984024833927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 513516 11623 751 405 0 510460 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2054064 KiB
Current children cumulated memory: 46492 KiB

[startup+282.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/187 3436
/proc/meminfo: memFree=20356540/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2060796 memory=56496 CPUtime=282.27 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 62488 0 0 0 28039 188 0 0 20 0 1 0 248401523 2110255104 14124 33554432000 4194304 5849940 140734908363328 140734908362328 139984024833927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 515199 14124 751 405 0 512143 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2060796 KiB
Current children cumulated memory: 56496 KiB

[startup+342.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/187 3437
/proc/meminfo: memFree=20354808/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2062476 memory=58976 CPUtime=342.27 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 69470 0 0 0 34007 220 0 0 20 0 1 0 248401523 2111975424 14744 33554432000 4194304 5849940 140734908363328 140734908362328 139984024833927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 515619 14744 751 405 0 512563 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2062476 KiB
Current children cumulated memory: 58976 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/187 3438
/proc/meminfo: memFree=20348836/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2067680 memory=64060 CPUtime=402.27 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 82643 0 0 0 39974 253 0 0 20 0 1 0 248401523 2117304320 16015 33554432000 4194304 5849940 140734908363328 140734908362200 139984024833927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 516920 16015 751 405 0 513864 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2067680 KiB
Current children cumulated memory: 64060 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 3439
/proc/meminfo: memFree=20349816/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2066740 memory=63324 CPUtime=462.26 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 92834 0 0 0 45945 281 0 0 20 0 1 0 248401523 2116341760 15831 33554432000 4194304 5849940 140734908363328 140734908362328 139984024833927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 516685 15831 751 405 0 513629 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2066740 KiB
Current children cumulated memory: 63324 KiB


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

/proc/3364/statm: 524551 23667 751 405 0 521495 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 2098204 KiB
Current children cumulated memory: 94668 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 3501
/proc/meminfo: memFree=19272744/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2092748 memory=89244 CPUtime=1782.2 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 399105 0 0 0 177394 826 0 0 20 0 1 0 248401523 2142973952 22311 33554432000 4194304 5849940 140734908363328 140734908362328 5437819 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 523187 22311 751 405 0 520131 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 2092748 KiB
Current children cumulated memory: 89244 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3502
/proc/meminfo: memFree=19255764/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2109452 memory=105972 CPUtime=1842.2 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 413161 0 0 0 183370 850 0 0 20 0 1 0 248401523 2160078848 26493 33554432000 4194304 5849940 140734908363328 140734908362328 139984024833927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 527363 26493 751 405 0 524307 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 2109452 KiB
Current children cumulated memory: 105972 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3503
/proc/meminfo: memFree=19280548/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2085056 memory=81556 CPUtime=1902.2 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 423685 0 0 0 189345 875 0 0 20 0 1 0 248401523 2135097344 20389 33554432000 4194304 5849940 140734908363328 140734908362328 5437917 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 521264 20389 751 405 0 518208 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 2085056 KiB
Current children cumulated memory: 81556 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3504
/proc/meminfo: memFree=19286944/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2079192 memory=75680 CPUtime=1962.2 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 433518 0 0 0 195326 894 0 0 20 0 1 0 248401523 2129092608 18920 33554432000 4194304 5849940 140734908363328 140734908362328 139984024833927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 519798 18920 751 405 0 516742 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 2079192 KiB
Current children cumulated memory: 75680 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 3512
/proc/meminfo: memFree=19291524/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2074080 memory=70444 CPUtime=2022.19 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 448321 0 0 0 201303 916 0 0 20 0 1 0 248401523 2123857920 17611 33554432000 4194304 5849940 140734908363328 140734908362328 5437906 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 518520 17611 751 405 0 515464 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 2074080 KiB
Current children cumulated memory: 70444 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3514
/proc/meminfo: memFree=19260860/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2104860 memory=101164 CPUtime=2082.19 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 464976 0 0 0 207275 944 0 0 20 0 1 0 248401523 2155376640 25291 33554432000 4194304 5849940 140734908363328 140734908362328 139984024833927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 526215 25291 751 405 0 523159 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 2104860 KiB
Current children cumulated memory: 101164 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3515
/proc/meminfo: memFree=19259632/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2105412 memory=101740 CPUtime=2142.19 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 479772 0 0 0 213249 970 0 0 20 0 1 0 248401523 2155941888 25435 33554432000 4194304 5849940 140734908363328 140734908362328 5335776 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 526353 25435 751 405 0 523297 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 2105412 KiB
Current children cumulated memory: 101740 KiB

[startup+2202.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/187 3516
/proc/meminfo: memFree=19238472/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2127028 memory=123388 CPUtime=2202.18 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 496441 0 0 0 219225 993 0 0 20 0 1 0 248401523 2178076672 30847 33554432000 4194304 5849940 140734908363328 140734908362328 139984024833927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 531757 30847 751 405 0 528701 0
Current children cumulated CPU time: 2202.18 s
Current children cumulated vsize: 2127028 KiB
Current children cumulated memory: 123388 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 3517
/proc/meminfo: memFree=19247980/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2117520 memory=114076 CPUtime=2262.18 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 514502 0 0 0 225203 1015 0 0 20 0 1 0 248401523 2168340480 28519 33554432000 4194304 5849940 140734908363328 140734908362328 139984024833927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 529380 28519 751 405 0 526324 0
Current children cumulated CPU time: 2262.18 s
Current children cumulated vsize: 2117520 KiB
Current children cumulated memory: 114076 KiB

[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 3519
/proc/meminfo: memFree=19257708/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2114448 memory=110904 CPUtime=2322.17 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 520141 0 0 0 231181 1036 0 0 20 0 1 0 248401523 2165194752 27726 33554432000 4194304 5849940 140734908363328 140734908362328 139984024833927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 528612 27726 751 405 0 525556 0
Current children cumulated CPU time: 2322.17 s
Current children cumulated vsize: 2114448 KiB
Current children cumulated memory: 110904 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3520
/proc/meminfo: memFree=19245272/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2119912 memory=116372 CPUtime=2382.17 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 535908 0 0 0 237159 1058 0 0 20 0 1 0 248401523 2170789888 29093 33554432000 4194304 5849940 140734908363328 140734908362328 5335712 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 529978 29093 751 405 0 526922 0
Current children cumulated CPU time: 2382.17 s
Current children cumulated vsize: 2119912 KiB
Current children cumulated memory: 116372 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3521
/proc/meminfo: memFree=19250324/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2115264 memory=111808 CPUtime=2442.17 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 543181 0 0 0 243134 1083 0 0 20 0 1 0 248401523 2166030336 27952 33554432000 4194304 5849940 140734908363328 140734908362328 139984024833927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 528816 27952 751 405 0 525760 0
Current children cumulated CPU time: 2442.17 s
Current children cumulated vsize: 2115264 KiB
Current children cumulated memory: 111808 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 3523
/proc/meminfo: memFree=19285372/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2082148 memory=78640 CPUtime=2502.17 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 557456 0 0 0 249108 1109 0 0 20 0 1 0 248401523 2132119552 19660 33554432000 4194304 5849940 140734908363328 140734908362328 139984024833927 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 520537 19660 751 405 0 517481 0
Current children cumulated CPU time: 2502.17 s
Current children cumulated vsize: 2082148 KiB
Current children cumulated memory: 78640 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 3524
/proc/meminfo: memFree=19274316/32770624 swapFree=67108196/67108860
[pid=3364] ppid=3361 vsize=2090392 memory=86948 CPUtime=2519.87 cores=1,3,5,7
/proc/3364/stat : 3364 (xcsp_picat) R 3361 3364 32759 0 -1 4202496 564837 0 0 0 250870 1117 0 0 20 0 1 0 248401523 2140561408 21737 33554432000 4194304 5849940 140734908363328 140734908362328 5437815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 40792064 140734908368054 140734908368132 140734908368132 140734908370890 0
/proc/3364/statm: 522598 21737 751 405 0 519542 0
Current children cumulated CPU time: 2519.87 s
Current children cumulated vsize: 2090392 KiB
Current children cumulated memory: 86948 KiB

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

[startup+2520.01 s]
# the end of solver process 3364 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2508.71 s, system=11.1785 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.01
CPU time (s): 2519.89
CPU user time (s): 2508.71
CPU system time (s): 11.1785
CPU usage (%): 99.995
Max. virtual memory (cumulated for all children) (KiB): 2133016
Max. memory (cumulated for all children) (KiB): 129392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.71
system time used= 11.1785
maximum resident set size= 129572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 564837
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= 9
involuntary context switches= 1141


# summary of solver processes directly reported to runsolver:
#   pid: 3364
#   total CPU time (s): 2519.89
#   total CPU user time (s): 2508.71
#   total CPU system time (s): 11.1785

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.80284 second user time and 20.3388 second system time

The end

Launcher Data 

Begin job on node151 at 2018-08-15 06:46:23
IDJOB=4309559
IDBENCH=141427
IDSOLVER=2794
FILE ID=node151/4309559-1534308383
RUNJOBID= node151-1534293053-324
PBS_JOBID= 21038135
Free space on /tmp= 43896 MiB

SOLVER NAME= PicatSAT 2018-08-14
BENCH NAME= XCSP18/LowAutocorrelation/LowAutocorrelation-050_c18.xml
COMMAND LINE= xcsp_picat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4309559-1534308383/watcher-4309559-1534308383 -o /tmp/evaluation-result-4309559-1534308383/solver-4309559-1534308383 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534293053-324 --watchdog 2580  xcsp_picat HOME/instance-4309559-1534308383.xml

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

MD5SUM BENCH= 22f254a3908600e49eb95db263b253c5
RANDOM SEED=937809294

node151.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.87
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.87
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.87
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.87
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:        23648852 kB
MemAvailable:   31508088 kB
Buffers:          170612 kB
Cached:          7919292 kB
SwapCached:           12 kB
Active:          4519764 kB
Inactive:        4013400 kB
Active(anon):     392860 kB
Inactive(anon):   110776 kB
Active(file):    4126904 kB
Inactive(file):  3902624 kB
Unevictable:        7820 kB
Mlocked:            7820 kB
SwapTotal:      67108860 kB
SwapFree:       67108196 kB
Dirty:              3188 kB
Writeback:             0 kB
AnonPages:        463432 kB
Mapped:            58484 kB
Shmem:             57716 kB
Slab:             286708 kB
SReclaimable:     258168 kB
SUnreclaim:        28540 kB
KernelStack:        3568 kB
PageTables:         6180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2601652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    393216 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 43896 MiB
End job on node151 at 2018-08-15 07:28:23