Trace number 4260875

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
Mistral-2.0 2017-07-28? (TO) 2519.6699 2520.01

General information on the benchmark

NameBinPacking/
BinPacking-tab-fu/BinPacking-tab-fu0250-15.xml
MD5SUM5cb0a900f4910e71305eb4c61f82b136
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark37
Best CPU time to get the best result obtained on this benchmark2400.1
Satisfiable
(Un)Satisfiability was proved
Number of variables877
Number of constraints149
Number of domains2
Minimum domain size79
Maximum domain size147
Distribution of domain sizes[{"size":79,"count":876},{"size":147,"count":1}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":730},{"degree":4,"count":146}]
Minimum constraint arity6
Maximum constraint arity876
Distribution of constraint arities[{"arity":6,"count":146},{"arity":147,"count":1},{"arity":876,"count":2}]
Number of extensional constraints146
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":146},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

0.00/0.07	c 280717
2519.65/2520.00	s UNKNOWN

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4260875-1502392076/watcher-4260875-1502392076 -o /tmp/evaluation-result-4260875-1502392076/solver-4260875-1502392076 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25567 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1482710723 HOME/instance-4260875-1502392076.xml 

pid=1086
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.99 2.03 2.04 3/184 1089
/proc/meminfo: memFree=31152272/32770624 swapFree=0/434444
[pid=1089] ppid=1086 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/1089/stat : 1089 (runsolver) D 1086 1089 4525 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 138860477 24240128 108 18446744073709551615 4194304 4338465 140724773216608 140724773214248 140637101429463 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 39915520 140724773224586 140724773225033 140724773225033 140724773228490 0
/proc/1089/statm: 5918 108 54 36 0 2156 0

[startup+0.100107 s]
/proc/loadavg: 1.99 2.03 2.04 3/184 1089
/proc/meminfo: memFree=31152272/32770624 swapFree=0/434444
[pid=1089] ppid=1086 vsize=30828 CPUtime=0.02 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 1470 0 0 0 2 0 0 0 20 0 1 0 138860477 31567872 1272 18446744073709551615 4194304 7396336 140726101749920 140726101746920 5882620 0 0 1 0 0 0 0 17 0 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 7707 1272 613 782 0 723 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 30828

[startup+0.200227 s]
/proc/loadavg: 1.99 2.03 2.04 3/184 1089
/proc/meminfo: memFree=31152272/32770624 swapFree=0/434444
[pid=1089] ppid=1086 vsize=31996 CPUtime=0.12 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 1826 0 0 0 12 0 0 0 20 0 1 0 138860477 32763904 1491 18446744073709551615 4194304 7396336 140726101749920 140726101746920 5880273 0 0 1 0 0 0 0 17 0 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 7999 1491 613 782 0 1015 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 31996

[startup+0.300201 s]
/proc/loadavg: 1.99 2.03 2.04 3/184 1089
/proc/meminfo: memFree=31152272/32770624 swapFree=0/434444
[pid=1089] ppid=1086 vsize=33292 CPUtime=0.22 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 2235 0 0 0 22 0 0 0 20 0 1 0 138860477 34091008 1715 18446744073709551615 4194304 7396336 140726101749920 140726101746920 5883296 0 0 1 0 0 0 0 17 0 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 8323 1715 613 782 0 1339 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 33292

[startup+0.700185 s]
/proc/loadavg: 1.99 2.03 2.04 3/184 1089
/proc/meminfo: memFree=31152272/32770624 swapFree=0/434444
[pid=1089] ppid=1086 vsize=78672 CPUtime=0.62 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 13496 0 0 0 61 1 0 0 20 0 1 0 138860477 80560128 13080 18446744073709551615 4194304 7396336 140726101749920 140726101746920 140711195068320 0 0 1 0 0 0 0 17 0 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 19668 13080 642 782 0 12684 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 78672

[startup+1.50024 s]
/proc/loadavg: 1.99 2.03 2.04 3/185 1090
/proc/meminfo: memFree=30848176/32770624 swapFree=0/434444
[pid=1089] ppid=1086 vsize=588096 CPUtime=1.42 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 140878 0 0 0 125 17 0 0 20 0 1 0 138860477 602210304 140460 18446744073709551615 4194304 7396336 140726101749920 140726101741256 140711195020261 0 0 1 0 0 0 0 17 0 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 147057 140460 642 782 0 140073 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 588096

[startup+3.10023 s]
/proc/loadavg: 1.99 2.03 2.04 3/185 1090
/proc/meminfo: memFree=30147576/32770624 swapFree=0/434444
[pid=1089] ppid=1086 vsize=1610208 CPUtime=3.02 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 397463 0 0 0 255 47 0 0 20 0 1 0 138860477 1648852992 395985 18446744073709551615 4194304 7396336 140726101749920 140726101741000 4253003 0 0 1 0 0 0 0 17 0 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 402552 395985 642 782 0 395568 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 1610208

[startup+6.30018 s]
/proc/loadavg: 1.99 2.03 2.04 3/185 1090
/proc/meminfo: memFree=29120712/32770624 swapFree=0/434444
[pid=1089] ppid=1086 vsize=2066556 CPUtime=6.22 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 513372 0 0 0 561 61 0 0 20 0 1 0 138860477 2116153344 510251 18446744073709551615 4194304 7396336 140726101749920 140726101740488 4566053 0 0 1 0 0 0 0 17 0 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 516639 510251 660 782 0 509655 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 2066556

[startup+12.7004 s]
/proc/loadavg: 1.99 2.03 2.04 3/185 1090
/proc/meminfo: memFree=29040696/32770624 swapFree=0/434128
[pid=1089] ppid=1086 vsize=2135664 CPUtime=12.62 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 721182 0 0 0 1191 71 0 0 20 0 1 0 138860477 2186919936 527656 18446744073709551615 4194304 7396336 140726101749920 140726101744456 5586491 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 533916 527656 764 782 0 526932 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 2135664

[startup+25.5004 s]
/proc/loadavg: 1.99 2.02 2.04 3/185 1091
/proc/meminfo: memFree=29040360/32770624 swapFree=0/434128
[pid=1089] ppid=1086 vsize=2136060 CPUtime=25.42 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 1030022 0 0 0 2457 85 0 0 20 0 1 0 138860477 2187325440 527762 18446744073709551615 4194304 7396336 140726101749920 140726101744200 5792000 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534015 527762 764 782 0 527031 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 2136060

[startup+51.1004 s]
/proc/loadavg: 2.07 2.04 2.05 3/185 1091
/proc/meminfo: memFree=29039432/32770624 swapFree=0/434132
[pid=1089] ppid=1086 vsize=2136192 CPUtime=51.02 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 1277628 0 0 0 5006 96 0 0 20 0 1 0 138860477 2187460608 527820 18446744073709551615 4194304 7396336 140726101749920 140726101744456 5792027 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534048 527820 764 782 0 527064 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 2136192

[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/185 1094
/proc/meminfo: memFree=29039232/32770624 swapFree=0/434144
[pid=1089] ppid=1086 vsize=2136192 CPUtime=102.22 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 1577135 0 0 0 10113 109 0 0 20 0 1 0 138860477 2187460608 527820 18446744073709551615 4194304 7396336 140726101749920 140726101744456 5165796 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534048 527820 764 782 0 527064 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 2136192

[startup+162.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/185 1096
/proc/meminfo: memFree=29039600/32770624 swapFree=0/434156
[pid=1089] ppid=1086 vsize=2136324 CPUtime=162.2 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 1805947 0 0 0 16102 118 0 0 20 0 1 0 138860477 2187595776 527836 18446744073709551615 4194304 7396336 140726101749920 140726101744376 5792016 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534081 527836 764 782 0 527097 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 2136324

[startup+222.306 s]
/proc/loadavg: 2.13 2.07 2.05 3/184 1099
/proc/meminfo: memFree=29039772/32770624 swapFree=0/434160
[pid=1089] ppid=1086 vsize=2136324 CPUtime=222.2 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 1989339 0 0 0 22095 125 0 0 20 0 1 0 138860477 2187595776 527836 18446744073709551615 4194304 7396336 140726101749920 140726101744376 5792016 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534081 527836 764 782 0 527097 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 2136324

[startup+282.3 s]
/proc/loadavg: 2.08 2.07 2.05 3/184 1103
/proc/meminfo: memFree=29039228/32770624 swapFree=0/434164
[pid=1089] ppid=1086 vsize=2136324 CPUtime=282.19 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 2187953 0 0 0 28085 134 0 0 20 0 1 0 138860477 2187595776 527839 18446744073709551615 4194304 7396336 140726101749920 140726101744376 5576651 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534081 527839 764 782 0 527097 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 2136324

[startup+342.3 s]
/proc/loadavg: 2.07 2.07 2.05 3/184 1105
/proc/meminfo: memFree=29039580/32770624 swapFree=0/434176
[pid=1089] ppid=1086 vsize=2136324 CPUtime=342.18 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 2389817 0 0 0 34075 143 0 0 20 0 1 0 138860477 2187595776 527840 18446744073709551615 4194304 7396336 140726101749920 140726101744376 5792248 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534081 527840 764 782 0 527097 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 2136324

[startup+402.3 s]
/proc/loadavg: 2.06 2.07 2.05 3/189 1123
/proc/meminfo: memFree=29034960/32770624 swapFree=0/434196
[pid=1089] ppid=1086 vsize=2136324 CPUtime=402.18 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 2588190 0 0 0 40065 153 0 0 20 0 1 0 138860477 2187595776 527840 18446744073709551615 4194304 7396336 140726101749920 140726101744376 5792043 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534081 527840 764 782 0 527097 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 2136324

[startup+462.3 s]
/proc/loadavg: 1.98 2.06 2.05 3/189 1216
/proc/meminfo: memFree=28928864/32770624 swapFree=0/434248
[pid=1089] ppid=1086 vsize=2136324 CPUtime=462.17 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 2777953 0 0 0 46054 163 0 0 20 0 1 0 138860477 2187595776 527840 18446744073709551615 4194304 7396336 140726101749920 140726101744376 4252880 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534081 527840 764 782 0 527097 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 2136324

[startup+522.3 s]
/proc/loadavg: 2.03 2.06 2.05 3/189 1218
/proc/meminfo: memFree=28922316/32770624 swapFree=0/434276
[pid=1089] ppid=1086 vsize=2136324 CPUtime=522.16 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 2963404 0 0 0 52044 172 0 0 20 0 1 0 138860477 2187595776 527840 18446744073709551615 4194304 7396336 140726101749920 140726101744376 5792016 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534081 527840 764 782 0 527097 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 2136324

[startup+582.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/186 1220
/proc/meminfo: memFree=28923440/32770624 swapFree=0/434280
[pid=1089] ppid=1086 vsize=2136324 CPUtime=582.16 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 3088769 0 0 0 58039 177 0 0 20 0 1 0 138860477 2187595776 527847 18446744073709551615 4194304 7396336 140726101749920 140726101744376 5792030 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534081 527847 764 782 0 527097 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 2136324


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


[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/189 1284
/proc/meminfo: memFree=28916084/32770624 swapFree=0/434436
[pid=1089] ppid=1086 vsize=2137512 CPUtime=1602.03 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 4114203 0 0 0 159975 228 0 0 20 0 1 0 138860477 2188812288 528146 18446744073709551615 4194304 7396336 140726101749920 140726101744456 4245092 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534378 528146 764 782 0 527394 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 2137512

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/189 1286
/proc/meminfo: memFree=28916128/32770624 swapFree=0/434448
[pid=1089] ppid=1086 vsize=2137644 CPUtime=1662.02 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 4115901 0 0 0 165974 228 0 0 20 0 1 0 138860477 2188947456 528151 18446744073709551615 4194304 7396336 140726101749920 140726101744456 4245092 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534411 528151 764 782 0 527427 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 2137644

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 1288
/proc/meminfo: memFree=28918912/32770624 swapFree=0/434456
[pid=1089] ppid=1086 vsize=2138040 CPUtime=1722.01 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 4117908 0 0 0 171973 228 0 0 20 0 1 0 138860477 2189352960 528252 18446744073709551615 4194304 7396336 140726101749920 140726101744456 5165834 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534510 528252 764 782 0 527526 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 2138040

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 1290
/proc/meminfo: memFree=28918760/32770624 swapFree=0/434476
[pid=1089] ppid=1086 vsize=2138040 CPUtime=1782.01 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 4119728 0 0 0 177973 228 0 0 20 0 1 0 138860477 2189352960 528256 18446744073709551615 4194304 7396336 140726101749920 140726101744456 5792030 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534510 528256 764 782 0 527526 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 2138040

[startup+1842.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/185 1292
/proc/meminfo: memFree=28918764/32770624 swapFree=0/434468
[pid=1089] ppid=1086 vsize=2138040 CPUtime=1842.01 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 4121601 0 0 0 183972 229 0 0 20 0 1 0 138860477 2189352960 528257 18446744073709551615 4194304 7396336 140726101749920 140726101744456 5586450 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534510 528257 764 782 0 527526 0
Current children cumulated CPU time (s) 1842.01
Current children cumulated vsize (KiB) 2138040

[startup+1902.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/184 1295
/proc/meminfo: memFree=28916884/32770624 swapFree=0/434480
[pid=1089] ppid=1086 vsize=2139624 CPUtime=1902 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 4123879 0 0 0 189971 229 0 0 20 0 1 0 138860477 2190974976 528672 18446744073709551615 4194304 7396336 140726101749920 140726101744456 5792070 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534906 528672 764 782 0 527922 0
Current children cumulated CPU time (s) 1902
Current children cumulated vsize (KiB) 2139624

[startup+1962.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 1298
/proc/meminfo: memFree=28916652/32770624 swapFree=0/434488
[pid=1089] ppid=1086 vsize=2139624 CPUtime=1961.99 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 4126140 0 0 0 195970 229 0 0 20 0 1 0 138860477 2190974976 528674 18446744073709551615 4194304 7396336 140726101749920 140726101744456 4582542 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534906 528674 764 782 0 527922 0
Current children cumulated CPU time (s) 1961.99
Current children cumulated vsize (KiB) 2139624

[startup+2022.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 1300
/proc/meminfo: memFree=28916748/32770624 swapFree=0/434496
[pid=1089] ppid=1086 vsize=2139624 CPUtime=2021.99 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 4128377 0 0 0 201970 229 0 0 20 0 1 0 138860477 2190974976 528675 18446744073709551615 4194304 7396336 140726101749920 140726101744456 5792000 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534906 528675 764 782 0 527922 0
Current children cumulated CPU time (s) 2021.99
Current children cumulated vsize (KiB) 2139624

[startup+2082.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 1303
/proc/meminfo: memFree=28916504/32770624 swapFree=0/434508
[pid=1089] ppid=1086 vsize=2139624 CPUtime=2081.98 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 4130492 0 0 0 207969 229 0 0 20 0 1 0 138860477 2190974976 528675 18446744073709551615 4194304 7396336 140726101749920 140726101744456 5792030 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534906 528675 764 782 0 527922 0
Current children cumulated CPU time (s) 2081.98
Current children cumulated vsize (KiB) 2139624

[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 1305
/proc/meminfo: memFree=28916844/32770624 swapFree=0/434520
[pid=1089] ppid=1086 vsize=2139624 CPUtime=2141.98 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 4132518 0 0 0 213968 230 0 0 20 0 1 0 138860477 2190974976 528675 18446744073709551615 4194304 7396336 140726101749920 140726101744456 4253040 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534906 528675 764 782 0 527922 0
Current children cumulated CPU time (s) 2141.98
Current children cumulated vsize (KiB) 2139624

[startup+2202.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/189 1322
/proc/meminfo: memFree=28912360/32770624 swapFree=0/434536
[pid=1089] ppid=1086 vsize=2139624 CPUtime=2201.98 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 4134907 0 0 0 219968 230 0 0 20 0 1 0 138860477 2190974976 528675 18446744073709551615 4194304 7396336 140726101749920 140726101744456 5792030 0 0 1 16386 0 0 0 17 0 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534906 528675 764 782 0 527922 0
Current children cumulated CPU time (s) 2201.98
Current children cumulated vsize (KiB) 2139624

[startup+2262.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/188 1324
/proc/meminfo: memFree=28912604/32770624 swapFree=0/434560
[pid=1089] ppid=1086 vsize=2139624 CPUtime=2261.97 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 4137161 0 0 0 225967 230 0 0 20 0 1 0 138860477 2190974976 528678 18446744073709551615 4194304 7396336 140726101749920 140726101744456 4581576 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534906 528678 764 782 0 527922 0
Current children cumulated CPU time (s) 2261.97
Current children cumulated vsize (KiB) 2139624

[startup+2322.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/185 1326
/proc/meminfo: memFree=28916084/32770624 swapFree=0/434580
[pid=1089] ppid=1086 vsize=2139624 CPUtime=2321.96 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 4139302 0 0 0 231966 230 0 0 20 0 1 0 138860477 2190974976 528678 18446744073709551615 4194304 7396336 140726101749920 140726101744456 4246602 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534906 528678 764 782 0 527922 0
Current children cumulated CPU time (s) 2321.96
Current children cumulated vsize (KiB) 2139624

[startup+2382.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/185 1328
/proc/meminfo: memFree=28916168/32770624 swapFree=0/434588
[pid=1089] ppid=1086 vsize=2139624 CPUtime=2381.95 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 4141547 0 0 0 237965 230 0 0 20 0 1 0 138860477 2190974976 528678 18446744073709551615 4194304 7396336 140726101749920 140726101744456 4253026 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534906 528678 764 782 0 527922 0
Current children cumulated CPU time (s) 2381.95
Current children cumulated vsize (KiB) 2139624

[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 1331
/proc/meminfo: memFree=28916280/32770624 swapFree=0/434596
[pid=1089] ppid=1086 vsize=2139624 CPUtime=2441.95 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 4143610 0 0 0 243965 230 0 0 20 0 1 0 138860477 2190974976 528678 18446744073709551615 4194304 7396336 140726101749920 140726101744456 5586494 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534906 528678 764 782 0 527922 0
Current children cumulated CPU time (s) 2441.95
Current children cumulated vsize (KiB) 2139624

[startup+2502.3 s]
/proc/loadavg: 1.92 2.00 2.04 3/185 1333
/proc/meminfo: memFree=28916392/32770624 swapFree=0/434620
[pid=1089] ppid=1086 vsize=2139624 CPUtime=2501.95 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 4145631 0 0 0 249964 231 0 0 20 0 1 0 138860477 2190974976 528678 18446744073709551615 4194304 7396336 140726101749920 140726101744456 5586398 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534906 528678 764 782 0 527922 0
Current children cumulated CPU time (s) 2501.95
Current children cumulated vsize (KiB) 2139624



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]
/proc/loadavg: 1.95 2.00 2.04 3/185 1334
/proc/meminfo: memFree=28916268/32770624 swapFree=0/434628
[pid=1089] ppid=1086 vsize=2139624 CPUtime=2519.65 cores=0,2,4,6
/proc/1089/stat : 1089 (MistralXCSP) R 1086 1089 4525 0 -1 4202496 4145928 0 0 0 251734 231 0 0 20 0 1 0 138860477 2190974976 528678 18446744073709551615 4194304 7396336 140726101749920 140726101744456 4581738 0 0 1 16386 0 0 0 17 4 0 0 6 0 0 9496464 9501696 40644608 140726101754290 140726101754440 140726101754440 140726101757897 0
/proc/1089/statm: 534906 528678 764 782 0 527922 0
Current children cumulated CPU time (s) 2519.65
Current children cumulated vsize (KiB) 2139624

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 1089 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 2520.01
CPU time (s): 2519.67
CPU user time (s): 2517.35
CPU system time (s): 2.32082
CPU usage (%): 99.9864
Max. virtual memory (cumulated for all children) (KiB): 2139624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.35
system time used= 2.32082
maximum resident set size= 2114732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4145963
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= 152
involuntary context switches= 4202

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.92614 second user time and 10.7753 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-10 20:53:32
IDJOB=4260875
IDBENCH=137046
IDSOLVER=2649
FILE ID=node132/4260875-1502392076
RUNJOBID= node132-1502333491-25567
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= Mistral-2.0 2017-07-28
BENCH NAME= XCSP17/BinPacking/BinPacking-tab-fu/BinPacking-tab-fu0250-15.xml
COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4260875-1502392076/watcher-4260875-1502392076 -o /tmp/evaluation-result-4260875-1502392076/solver-4260875-1502392076 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25567 --watchdog 2580  MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1482710723 HOME/instance-4260875-1502392076.xml

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

MD5SUM BENCH= 5cb0a900f4910e71305eb4c61f82b136
RANDOM SEED=1482710723

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.74
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.74
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.74
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.74
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:        31153404 kB
MemAvailable:   31936876 kB
Buffers:          283644 kB
Cached:           803132 kB
SwapCached:            0 kB
Active:           710768 kB
Inactive:         475264 kB
Active(anon):     100188 kB
Inactive(anon):    40820 kB
Active(file):     610580 kB
Inactive(file):   434444 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7320 kB
Writeback:             0 kB
AnonPages:         98900 kB
Mapped:            59292 kB
Shmem:             41660 kB
Slab:             135132 kB
SReclaimable:     108564 kB
SUnreclaim:        26568 kB
KernelStack:        3264 kB
PageTables:         5020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     374876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 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= 62016 MiB
End job on node132 at 2017-08-10 21:35:32