Trace number 4252569

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 NameAnswerCPU timeWall clock time
miniBTD 2017-06-30? (MO) 2175.79 2176.41

General information on the benchmark

NamePropStress/PropStress-m1-s1/
PropStress-0250.xml
MD5SUMfc49515a3b3121bae6777db9cebdf786
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark1299.17
Satisfiable
(Un)Satisfiability was proved
Number of variables502
Number of constraints31876
Number of domains1
Minimum domain size62501
Maximum domain size62501
Distribution of domain sizes[{"size":62501,"count":502}]
Minimum variable degree2
Maximum variable degree251
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":249},{"degree":250,"count":249},{"degree":251,"count":3}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":31876}]
Number of extensional constraints0
Number of intensional constraints31876
Distribution of constraint types[{"type":"intension","count":31876}]
Optimization problemNO
Type of objective

Solver Data 

2170.17/2170.80	c Version: 2017-06-30

Verifier Data 

One s line expected

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-4252569-1500930935/watcher-4252569-1500930935 -o /tmp/evaluation-result-4252569-1500930935/solver-4252569-1500930935 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1500930917-5931 --watchdog 2560 miniBTD 2400 HOME/instance-4252569-1500930935.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.22 1.06 1.06 2/182 6023
/proc/meminfo: memFree=32016948/32770624 swapFree=6520/137228
[pid=6023] ppid=6020 vsize=26000 CPUtime=0 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 791 0 0 0 0 0 0 0 20 0 1 0 2652326 26624000 612 33554432000 4194304 4832315 140720706042080 140720706039080 140438127606757 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 6500 612 511 156 0 142 0

[startup+0.100199 s]
/proc/loadavg: 1.22 1.06 1.06 2/182 6023
/proc/meminfo: memFree=32016948/32770624 swapFree=6520/137228
[pid=6023] ppid=6020 vsize=26776 CPUtime=0.09 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 1985 0 0 0 9 0 0 0 20 0 1 0 2652326 27418624 837 33554432000 4194304 4832315 140720706042080 140720706039080 4216998 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 6694 837 511 156 0 336 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26776

[startup+0.200338 s]
/proc/loadavg: 1.22 1.06 1.06 2/182 6023
/proc/meminfo: memFree=32016948/32770624 swapFree=6520/137228
[pid=6023] ppid=6020 vsize=27236 CPUtime=0.19 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 8151 0 0 0 18 1 0 0 20 0 1 0 2652326 27889664 908 33554432000 4194304 4832315 140720706042080 140720706039080 4217329 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 6765 908 511 156 0 407 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27236

[startup+0.300317 s]
/proc/loadavg: 1.22 1.06 1.06 2/182 6023
/proc/meminfo: memFree=32016948/32770624 swapFree=6520/137228
[pid=6023] ppid=6020 vsize=27360 CPUtime=0.29 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 20083 0 0 0 27 2 0 0 20 0 1 0 2652326 28016640 948 33554432000 4194304 4832315 140720706042080 140720706039080 4216673 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 6840 948 511 156 0 482 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27360

[startup+0.700281 s]
/proc/loadavg: 1.22 1.06 1.06 2/182 6023
/proc/meminfo: memFree=32016948/32770624 swapFree=6520/137228
[pid=6023] ppid=6020 vsize=27836 CPUtime=0.69 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 80832 0 0 0 60 9 0 0 20 0 1 0 2652326 28504064 1102 33554432000 4194304 4832315 140720706042080 140720706038408 140438128067564 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 6959 1102 511 156 0 601 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27836

[startup+1.50028 s]
/proc/loadavg: 1.22 1.06 1.06 3/183 6024
/proc/meminfo: memFree=32013100/32770624 swapFree=6520/137204
[pid=6023] ppid=6020 vsize=29108 CPUtime=1.49 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 261121 0 0 0 124 25 0 0 20 0 1 0 2652326 29806592 1378 33554432000 4194304 4832315 140720706042080 140720706038408 4217001 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 7277 1378 512 156 0 919 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29108

[startup+3.10028 s]
/proc/loadavg: 1.28 1.08 1.06 3/183 6024
/proc/meminfo: memFree=32010620/32770624 swapFree=6520/137204
[pid=6023] ppid=6020 vsize=30184 CPUtime=3.09 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 642352 0 0 0 246 63 0 0 20 0 1 0 2652326 30908416 1654 33554432000 4194304 4832315 140720706042080 140720706038408 4215833 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 7596 1654 512 156 0 1238 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30184

[startup+6.30028 s]
/proc/loadavg: 1.28 1.08 1.06 3/183 6024
/proc/meminfo: memFree=32001088/32770624 swapFree=6520/137204
[pid=6023] ppid=6020 vsize=33908 CPUtime=6.29 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 1148434 0 0 0 516 113 0 0 20 0 1 0 2652326 34721792 2581 33554432000 4194304 4832315 140720706042080 140720706038408 140438127602494 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 8477 2581 513 156 0 2119 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33908

[startup+12.7003 s]
/proc/loadavg: 1.39 1.11 1.07 3/183 6024
/proc/meminfo: memFree=31936708/32770624 swapFree=6520/137472
[pid=6023] ppid=6020 vsize=38876 CPUtime=12.68 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 2402802 0 0 0 1029 239 0 0 20 0 1 0 2652326 39809024 3806 33554432000 4194304 4832315 140720706042080 140720706038408 4217329 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 9719 3806 513 156 0 3361 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 38876

[startup+25.5058 s]
/proc/loadavg: 1.49 1.14 1.08 3/183 6024
/proc/meminfo: memFree=31922920/32770624 swapFree=6520/137472
[pid=6023] ppid=6020 vsize=51844 CPUtime=25.49 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 4769744 0 0 0 2077 472 0 0 20 0 1 0 2652326 53088256 7001 33554432000 4194304 4832315 140720706042080 140720706038408 4217657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 12961 7001 513 156 0 6603 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51844

[startup+51.1003 s]
/proc/loadavg: 1.66 1.21 1.11 3/183 6024
/proc/meminfo: memFree=31897004/32770624 swapFree=6520/137472
[pid=6023] ppid=6020 vsize=77264 CPUtime=51.08 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 9290798 0 0 0 4204 904 0 0 20 0 1 0 2652326 79118336 13413 33554432000 4194304 4832315 140720706042080 140720706038408 4216673 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 19372 13413 513 156 0 13014 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 77264

[startup+102.3 s]
/proc/loadavg: 1.85 1.33 1.16 3/183 6025
/proc/meminfo: memFree=31838508/32770624 swapFree=6520/137524
[pid=6023] ppid=6020 vsize=127716 CPUtime=102.28 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 18390636 0 0 0 8472 1756 0 0 20 0 1 0 2652326 130781184 25999 33554432000 4194304 4832315 140720706042080 140720706038408 4215833 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 31929 25999 513 156 0 25571 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 127716

[startup+162.3 s]
/proc/loadavg: 1.95 1.45 1.21 3/183 6026
/proc/meminfo: memFree=31765540/32770624 swapFree=6520/137552
[pid=6023] ppid=6020 vsize=186568 CPUtime=162.26 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 29078853 0 0 0 13461 2765 0 0 20 0 1 0 2652326 191045632 40730 33554432000 4194304 4832315 140720706042080 140720706038408 4217657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 46642 40730 513 156 0 40284 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 186568

[startup+222.3 s]
/proc/loadavg: 1.98 1.56 1.26 3/183 6027
/proc/meminfo: memFree=31707556/32770624 swapFree=6520/137580
[pid=6023] ppid=6020 vsize=245780 CPUtime=222.24 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 39681066 0 0 0 18451 3773 0 0 20 0 1 0 2652326 251678720 55590 33554432000 4194304 4832315 140720706042080 140720706038408 140438128067564 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 61445 55590 513 156 0 55087 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 245780

[startup+282.3 s]
/proc/loadavg: 1.99 1.63 1.30 3/184 6036
/proc/meminfo: memFree=31645756/32770624 swapFree=6520/137616
[pid=6023] ppid=6020 vsize=305468 CPUtime=282.2 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 50249681 0 0 0 23433 4787 0 0 20 0 1 0 2652326 312799232 70460 33554432000 4194304 4832315 140720706042080 140720706038408 4216673 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 76367 70460 513 156 0 70009 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 305468

[startup+342.306 s]
/proc/loadavg: 2.00 1.70 1.35 3/183 6037
/proc/meminfo: memFree=31586660/32770624 swapFree=6520/137664
[pid=6023] ppid=6020 vsize=364204 CPUtime=342.18 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 60768574 0 0 0 28407 5811 0 0 20 0 1 0 2652326 372944896 85148 33554432000 4194304 4832315 140720706042080 140720706038408 4217001 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 91051 85148 513 156 0 84693 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 364204

[startup+402.3 s]
/proc/loadavg: 2.00 1.75 1.39 3/183 6038
/proc/meminfo: memFree=31528316/32770624 swapFree=6520/137692
[pid=6023] ppid=6020 vsize=423264 CPUtime=402.17 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 71413347 0 0 0 33407 6810 0 0 20 0 1 0 2652326 433422336 99923 33554432000 4194304 4832315 140720706042080 140720706038408 4216992 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 105816 99923 513 156 0 99458 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 423264

[startup+462.3 s]
/proc/loadavg: 2.00 1.80 1.43 3/183 6039
/proc/meminfo: memFree=31468224/32770624 swapFree=6520/137720
[pid=6023] ppid=6020 vsize=483388 CPUtime=462.18 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 82137983 0 0 0 38416 7802 0 0 20 0 1 0 2652326 494989312 114979 33554432000 4194304 4832315 140720706042080 140720706038408 4215830 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 120847 114979 513 156 0 114489 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 483388

[startup+522.3 s]
/proc/loadavg: 2.00 1.84 1.46 3/183 6040
/proc/meminfo: memFree=31409200/32770624 swapFree=6520/137748
[pid=6023] ppid=6020 vsize=543000 CPUtime=522.17 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 92778082 0 0 0 43421 8796 0 0 20 0 1 0 2652326 556032000 129839 33554432000 4194304 4832315 140720706042080 140720706038408 4217326 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 135750 129839 513 156 0 129392 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 543000

[startup+582.3 s]
/proc/loadavg: 2.00 1.87 1.50 3/183 6042
/proc/meminfo: memFree=31348044/32770624 swapFree=6520/137796
[pid=6023] ppid=6020 vsize=602824 CPUtime=582.17 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 103329783 0 0 0 48463 9754 0 0 20 0 1 0 2652326 617291776 144804 33554432000 4194304 4832315 140720706042080 140720706038408 4217001 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 150632 144739 513 156 0 144274 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 602824


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


[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 1.81 3/182 6064
/proc/meminfo: memFree=30516580/32770624 swapFree=6520/138236
[pid=6023] ppid=6020 vsize=1430972 CPUtime=1421.88 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 253005593 0 0 0 118342 23846 0 0 20 0 1 0 2652326 1465315328 351831 33554432000 4194304 4832315 140720706042080 140720706038408 4216673 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 357743 351831 513 156 0 351385 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1430972

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 1.82 3/182 6072
/proc/meminfo: memFree=30455700/32770624 swapFree=6520/138264
[pid=6023] ppid=6020 vsize=1490608 CPUtime=1481.89 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 263806714 0 0 0 123359 24830 0 0 20 0 1 0 2652326 1526382592 366750 33554432000 4194304 4832315 140720706042080 140720706038408 4215833 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 372652 366750 513 156 0 366294 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1490608

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.83 3/182 6073
/proc/meminfo: memFree=30396604/32770624 swapFree=6520/138300
[pid=6023] ppid=6020 vsize=1549668 CPUtime=1541.89 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 274587216 0 0 0 128362 25827 0 0 20 0 1 0 2652326 1586860032 381500 33554432000 4194304 4832315 140720706042080 140720706038408 4216400 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 387417 381500 513 156 0 381059 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1549668

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.84 3/182 6074
/proc/meminfo: memFree=30337292/32770624 swapFree=6520/138332
[pid=6023] ppid=6020 vsize=1609644 CPUtime=1601.88 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 285376113 0 0 0 133365 26823 0 0 20 0 1 0 2652326 1648275456 396543 33554432000 4194304 4832315 140720706042080 140720706038632 4217661 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 402411 396543 513 156 0 396053 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1609644

[startup+1662.31 s]
/proc/loadavg: 2.00 2.01 1.85 3/182 6075
/proc/meminfo: memFree=30277192/32770624 swapFree=6520/138360
[pid=6023] ppid=6020 vsize=1669492 CPUtime=1661.88 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 295827843 0 0 0 138398 27790 0 0 20 0 1 0 2652326 1709559808 411454 33554432000 4194304 4832315 140720706042080 140720706038408 4217001 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 417373 411454 513 156 0 411015 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1669492

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/182 6076
/proc/meminfo: memFree=30218588/32770624 swapFree=6520/138396
[pid=6023] ppid=6020 vsize=1729148 CPUtime=1721.87 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 306560996 0 0 0 143419 28768 0 0 20 0 1 0 2652326 1770647552 426385 33554432000 4194304 4832315 140720706042080 140720706038408 4215833 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 432287 426385 513 156 0 425929 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1729148

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.87 3/182 6077
/proc/meminfo: memFree=30157068/32770624 swapFree=6520/138424
[pid=6023] ppid=6020 vsize=1788720 CPUtime=1781.87 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 317069608 0 0 0 148437 29750 0 0 20 0 1 0 2652326 1831649280 441258 33554432000 4194304 4832315 140720706042080 140720706038408 4217329 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 447092 441193 513 156 0 440734 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1788720

[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 1.88 3/182 6078
/proc/meminfo: memFree=30097296/32770624 swapFree=6520/138452
[pid=6023] ppid=6020 vsize=1847512 CPUtime=1841.84 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 327659948 0 0 0 153428 30756 0 0 20 0 1 0 2652326 1891852288 455978 33554432000 4194304 4832315 140720706042080 140720706038408 4217329 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 461878 455978 513 156 0 455520 0
Current children cumulated CPU time (s) 1841.84
Current children cumulated vsize (KiB) 1847512

[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 1.89 3/182 6079
/proc/meminfo: memFree=30037628/32770624 swapFree=6520/138480
[pid=6023] ppid=6020 vsize=1906768 CPUtime=1901.81 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 338313693 0 0 0 158402 31779 0 0 20 0 1 0 2652326 1952530432 470746 33554432000 4194304 4832315 140720706042080 140720706038408 4216673 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 476692 470746 513 156 0 470334 0
Current children cumulated CPU time (s) 1901.81
Current children cumulated vsize (KiB) 1906768

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 1.89 3/182 6080
/proc/meminfo: memFree=29978592/32770624 swapFree=6520/138512
[pid=6023] ppid=6020 vsize=1966012 CPUtime=1961.78 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 348984951 0 0 0 163409 32769 0 0 20 0 1 0 2652326 2013196288 485600 33554432000 4194304 4832315 140720706042080 140720706038408 4217329 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 491503 485600 513 156 0 485145 0
Current children cumulated CPU time (s) 1961.78
Current children cumulated vsize (KiB) 1966012

[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 1.90 3/182 6081
/proc/meminfo: memFree=29918672/32770624 swapFree=6520/138548
[pid=6023] ppid=6020 vsize=2025540 CPUtime=2021.73 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 359630978 0 0 0 168414 33759 0 0 20 0 1 0 2652326 2074152960 500479 33554432000 4194304 4832315 140720706042080 140720706038408 4215833 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 506385 500479 513 156 0 500027 0
Current children cumulated CPU time (s) 2021.73
Current children cumulated vsize (KiB) 2025540

[startup+2082.3 s]
/proc/loadavg: 2.05 2.04 1.91 3/182 6089
/proc/meminfo: memFree=29858904/32770624 swapFree=6520/138576
[pid=6023] ppid=6020 vsize=2084636 CPUtime=2081.7 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 370473447 0 0 0 173403 34767 0 0 20 0 1 0 2652326 2134667264 515198 33554432000 4194304 4832315 140720706042080 140720706038408 4215833 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 521159 515198 513 156 0 514801 0
Current children cumulated CPU time (s) 2081.7
Current children cumulated vsize (KiB) 2084636

[startup+2142.3 s]
/proc/loadavg: 2.05 2.04 1.93 3/182 6090
/proc/meminfo: memFree=29799516/32770624 swapFree=6520/138612
[pid=6023] ppid=6020 vsize=2143808 CPUtime=2141.67 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 381117588 0 0 0 178419 35748 0 0 20 0 1 0 2652326 2195259392 530041 33554432000 4194304 4832315 140720706042080 140720706038408 4217001 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 535952 530041 513 156 0 529594 0
Current children cumulated CPU time (s) 2141.67
Current children cumulated vsize (KiB) 2143808



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+2175.6 s]
/proc/loadavg: 2.08 2.05 1.93 3/182 6091
/proc/meminfo: memFree=18082232/32770624 swapFree=6520/138640
[pid=6023] ppid=6020 vsize=15922744 CPUtime=2174.97 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4202496 384813739 0 0 0 181324 36173 0 0 20 0 1 0 2652326 16304889856 3974885 33554432000 4194304 4832315 140720706042080 140720706039624 4221418 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 6932504 6936608 17588224 140720706049266 140720706049346 140720706049346 140720706052045 0
/proc/6023/statm: 3980686 3974885 598 156 0 3974328 0
Current children cumulated CPU time (s) 2174.97
Current children cumulated vsize (KiB) 15922744

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 6023 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2176.1 s]
/proc/loadavg: 2.08 2.05 1.93 3/182 6091
/proc/meminfo: memFree=22834540/32770624 swapFree=6520/138640
[pid=6023] ppid=6020 vsize=0 CPUtime=2175.47 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4203524 384813739 0 0 0 181324 36223 0 0 20 0 1 0 2652326 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/6023/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2175.47
Current children cumulated vsize (KiB) 0

[startup+2176.3 s]
/proc/loadavg: 2.08 2.05 1.93 3/182 6091
/proc/meminfo: memFree=22834540/32770624 swapFree=6520/138640
[pid=6023] ppid=6020 vsize=0 CPUtime=2175.67 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4203524 384813739 0 0 0 181324 36243 0 0 20 0 1 0 2652326 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/6023/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2175.67
Current children cumulated vsize (KiB) 0

[startup+2176.4 s]
/proc/loadavg: 2.08 2.05 1.93 3/182 6091
/proc/meminfo: memFree=22834540/32770624 swapFree=6520/138640
[pid=6023] ppid=6020 vsize=0 CPUtime=2175.77 cores=0,2,4,6
/proc/6023/stat : 6023 (miniBTD) R 6020 6023 5900 0 -1 4203524 384813739 0 0 0 181324 36253 0 0 20 0 1 0 2652326 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/6023/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2175.77
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2176.41
CPU time (s): 2175.79
CPU user time (s): 1813.24
CPU system time (s): 362.544
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 15922744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1813.24
system time used= 362.544
maximum resident set size= 15899540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 384813739
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= 853
involuntary context switches= 1537

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.8838 second user time and 8.05314 second system time

The end

Launcher Data 

Begin job on node137 at 2017-07-24 23:15:35
IDJOB=4252569
IDBENCH=126844
IDSOLVER=2632
FILE ID=node137/4252569-1500930935
RUNJOBID= node137-1500930917-5931
PBS_JOBID= 20625425
Free space on /tmp= 61892 MiB

SOLVER NAME= miniBTD 2017-06-30
BENCH NAME= XCSP17/PropStress/PropStress-m1-s1/PropStress-0250.xml
COMMAND LINE= miniBTD TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4252569-1500930935/watcher-4252569-1500930935 -o /tmp/evaluation-result-4252569-1500930935/solver-4252569-1500930935 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node137-1500930917-5931 --watchdog 2560  miniBTD 2400 HOME/instance-4252569-1500930935.xml

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

MD5SUM BENCH= fc49515a3b3121bae6777db9cebdf786
RANDOM SEED=122626179

node137.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        32016688 kB
MemAvailable:   32021592 kB
Buffers:           34324 kB
Cached:           285904 kB
SwapCached:            0 kB
Active:           253924 kB
Inactive:         146164 kB
Active(anon):      83168 kB
Inactive(anon):     8676 kB
Active(file):     170756 kB
Inactive(file):   137488 kB
Unevictable:        6520 kB
Mlocked:            6520 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8540 kB
Writeback:             0 kB
AnonPages:        225536 kB
Mapped:            28584 kB
Shmem:              8848 kB
Slab:              49380 kB
SReclaimable:      24988 kB
SUnreclaim:        24392 kB
KernelStack:        3520 kB
PageTables:         5304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     322428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    178176 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61884 MiB
End job on node137 at 2017-07-24 23:51:51