Trace number 4241411

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
R1: BTD 2017-06-30? (TO) 2400.01 2402.11

General information on the benchmark

NamePropStress/PropStress-m1-s1/
PropStress-0600.xml
MD5SUMa04cbf963a24580000cf8d80e23a65fb
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1202
Number of constraints181501
Number of domains1
Minimum domain size360001
Maximum domain size360001
Distribution of domain sizes[{"size":360001,"count":1202}]
Minimum variable degree2
Maximum variable degree601
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":599},{"degree":600,"count":599},{"degree":601,"count":3}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":181501}]
Number of extensional constraints0
Number of intensional constraints181501
Distribution of constraint types[{"type":"intension","count":181501}]
Optimization problemNO
Type of objective

Solver Data


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-4241411-1500627062/watcher-4241411-1500627062 -o /tmp/evaluation-result-4241411-1500627062/solver-4241411-1500627062 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500623775-4734 --watchdog 2560 BTD 2400 HOME/instance-4241411-1500627062.xml 

pid=5675
running on 4 cores: 1,3,5,7

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: 2.00 2.01 1.95 3/186 5678
/proc/meminfo: memFree=31204344/32770624 swapFree=6192/469872
[pid=5678] ppid=5675 vsize=30900 CPUtime=0 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 459 0 0 0 0 0 0 0 20 0 1 0 16135188 31641600 327 33554432000 4194304 35031059 140728773963552 140728773963552 4208386 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 7725 327 230 7529 0 172 0

[startup+0.100238 s]
/proc/loadavg: 2.00 2.01 1.95 3/186 5678
/proc/meminfo: memFree=31204344/32770624 swapFree=6192/469872
[pid=5678] ppid=5675 vsize=31700 CPUtime=0.09 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 1251 0 0 0 9 0 0 0 20 0 1 0 16135188 32460800 510 33554432000 4194304 35031059 140728773963552 140728773959512 4208990 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 7884 510 230 7529 0 331 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31700

[startup+0.200341 s]
/proc/loadavg: 2.00 2.01 1.95 3/186 5678
/proc/meminfo: memFree=31204344/32770624 swapFree=6192/469872
[pid=5678] ppid=5675 vsize=31980 CPUtime=0.19 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 6729 0 0 0 18 1 0 0 20 0 1 0 16135188 32747520 578 33554432000 4194304 35031059 140728773963552 140728773959512 4208990 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 7970 589 230 7529 0 417 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31980

[startup+0.300298 s]
/proc/loadavg: 2.00 2.01 1.95 3/186 5678
/proc/meminfo: memFree=31204344/32770624 swapFree=6192/469872
[pid=5678] ppid=5675 vsize=32164 CPUtime=0.29 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 18370 0 0 0 27 2 0 0 20 0 1 0 16135188 32935936 632 33554432000 4194304 35031059 140728773963552 140728773959512 4208684 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 8075 632 230 7529 0 522 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32164

[startup+0.700308 s]
/proc/loadavg: 2.00 2.01 1.95 3/186 5678
/proc/meminfo: memFree=31204344/32770624 swapFree=6192/469872
[pid=5678] ppid=5675 vsize=32848 CPUtime=0.69 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 79737 0 0 0 62 7 0 0 20 0 1 0 16135188 33636352 787 33554432000 4194304 35031059 140728773963552 140728773959368 4207320 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 8212 787 230 7529 0 659 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32848

[startup+1.5003 s]
/proc/loadavg: 1.92 2.00 1.95 3/187 5679
/proc/meminfo: memFree=31201132/32770624 swapFree=6192/469684
[pid=5678] ppid=5675 vsize=33772 CPUtime=1.49 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 261469 0 0 0 125 24 0 0 20 0 1 0 16135188 34582528 1047 33554432000 4194304 35031059 140728773963552 140728773959512 4209291 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 8443 1047 230 7529 0 890 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33772

[startup+3.10028 s]
/proc/loadavg: 1.92 2.00 1.95 3/187 5679
/proc/meminfo: memFree=31198876/32770624 swapFree=6192/469692
[pid=5678] ppid=5675 vsize=35196 CPUtime=3.09 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 645003 0 0 0 245 64 0 0 20 0 1 0 16135188 36040704 1352 33554432000 4194304 35031059 140728773963552 140728773959368 4207320 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 8799 1287 230 7529 0 1246 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 35196

[startup+6.30031 s]
/proc/loadavg: 1.93 2.00 1.95 3/187 5679
/proc/meminfo: memFree=31197148/32770624 swapFree=6192/469692
[pid=5678] ppid=5675 vsize=36784 CPUtime=6.29 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 1439273 0 0 0 490 139 0 0 20 0 1 0 16135188 37666816 1758 33554432000 4194304 35031059 140728773963552 140728773959368 4207320 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 9196 1758 230 7529 0 1643 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36784

[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 1.95 3/187 5679
/proc/meminfo: memFree=31194928/32770624 swapFree=6192/469700
[pid=5678] ppid=5675 vsize=39256 CPUtime=12.69 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 3220531 0 0 0 956 313 0 0 20 0 1 0 16135188 40198144 2310 33554432000 4194304 35031059 140728773963552 140728773959368 4208390 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 9814 2376 230 7529 0 2261 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39256

[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 1.95 3/187 5679
/proc/meminfo: memFree=31192008/32770624 swapFree=6192/469712
[pid=5678] ppid=5675 vsize=43012 CPUtime=25.48 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 6736137 0 0 0 1912 636 0 0 20 0 1 0 16135188 44044288 3111 33554432000 4194304 35031059 140728773963552 140728773959368 7993657 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 10612 3111 230 7529 0 3059 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 43012

[startup+51.1003 s]
/proc/loadavg: 1.97 2.00 1.95 3/187 5679
/proc/meminfo: memFree=31187440/32770624 swapFree=6192/469720
[pid=5678] ppid=5675 vsize=45876 CPUtime=51.07 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 14059183 0 0 0 3761 1346 0 0 20 0 1 0 16135188 46977024 3911 33554432000 4194304 35031059 140728773963552 140728773959368 4207320 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 11469 3911 230 7529 0 3916 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 45876

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/187 5680
/proc/meminfo: memFree=31183048/32770624 swapFree=6192/469764
[pid=5678] ppid=5675 vsize=53344 CPUtime=102.21 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 25293090 0 0 0 7526 2695 0 0 20 0 1 0 16135188 54624256 5906 33554432000 4194304 35031059 140728773963552 140728773959368 4209291 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 13336 5906 230 7529 0 5783 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 53344

[startup+162.3 s]
/proc/loadavg: 2.10 2.03 1.97 3/187 5681
/proc/meminfo: memFree=31174308/32770624 swapFree=6192/469796
[pid=5678] ppid=5675 vsize=56000 CPUtime=162.14 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 35821135 0 0 0 12129 4085 0 0 20 0 1 0 16135188 57344000 6600 33554432000 4194304 35031059 140728773963552 140728773959368 4207320 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 14000 6600 230 7529 0 6447 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 56000

[startup+222.306 s]
/proc/loadavg: 2.04 2.02 1.97 3/187 5682
/proc/meminfo: memFree=31154324/32770624 swapFree=6192/469824
[pid=5678] ppid=5675 vsize=79292 CPUtime=222.09 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 44626913 0 0 0 16956 5253 0 0 20 0 1 0 16135188 81195008 12404 33554432000 4194304 35031059 140728773963552 140728773959320 4208680 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 19823 12404 231 7529 0 12270 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 79292

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/187 5684
/proc/meminfo: memFree=31153896/32770624 swapFree=6192/469860
[pid=5678] ppid=5675 vsize=79292 CPUtime=282.04 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 44626934 0 0 0 22951 5253 0 0 20 0 1 0 16135188 81195008 12404 33554432000 4194304 35031059 140728773963552 140728773959320 4207866 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 19823 12404 231 7529 0 12270 0
Current children cumulated CPU time (s) 282.04
Current children cumulated vsize (KiB) 79292

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 5685
/proc/meminfo: memFree=31151860/32770624 swapFree=6192/469888
[pid=5678] ppid=5675 vsize=81780 CPUtime=341.99 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 44771514 0 0 0 28926 5273 0 0 20 0 1 0 16135188 83742720 13039 33554432000 4194304 35031059 140728773963552 140728773959368 4207316 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 20445 13039 232 7529 0 12892 0
Current children cumulated CPU time (s) 341.99
Current children cumulated vsize (KiB) 81780

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/187 5686
/proc/meminfo: memFree=31148936/32770624 swapFree=6192/469924
[pid=5678] ppid=5675 vsize=82096 CPUtime=401.92 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 53453232 0 0 0 33720 6472 0 0 20 0 1 0 16135188 84066304 13079 33554432000 4194304 35031059 140728773963552 140728773959368 4208386 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 20524 13079 232 7529 0 12971 0
Current children cumulated CPU time (s) 401.92
Current children cumulated vsize (KiB) 82096

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 5689
/proc/meminfo: memFree=31129584/32770624 swapFree=6192/469960
[pid=5678] ppid=5675 vsize=103552 CPUtime=461.88 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 53730730 0 0 0 39677 6511 0 0 20 0 1 0 16135188 106037248 18498 33554432000 4194304 35031059 140728773963552 140728773959320 4208995 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 25888 18498 232 7529 0 18335 0
Current children cumulated CPU time (s) 461.88
Current children cumulated vsize (KiB) 103552

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/188 5690
/proc/meminfo: memFree=31126044/32770624 swapFree=6192/469988
[pid=5678] ppid=5675 vsize=107288 CPUtime=521.83 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 56426281 0 0 0 45280 6903 0 0 20 0 1 0 16135188 109862912 19368 33554432000 4194304 35031059 140728773963552 140728773959512 4208680 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 26822 19368 232 7529 0 19269 0
Current children cumulated CPU time (s) 521.83
Current children cumulated vsize (KiB) 107288

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/189 5699
/proc/meminfo: memFree=31126008/32770624 swapFree=6192/470032
[pid=5678] ppid=5675 vsize=107752 CPUtime=581.77 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 66072983 0 0 0 49917 8260 0 0 20 0 1 0 16135188 110338048 19493 33554432000 4194304 35031059 140728773963552 140728773959368 4208680 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 26938 19493 232 7529 0 19385 0
Current children cumulated CPU time (s) 581.77
Current children cumulated vsize (KiB) 107752


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


[startup+1542.31 s]
/proc/loadavg: 1.94 2.00 1.97 3/187 6059
/proc/meminfo: memFree=30971636/32770624 swapFree=6192/470708
[pid=5678] ppid=5675 vsize=250812 CPUtime=1540.94 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 162942220 0 0 0 132687 21407 0 0 20 0 1 0 16135188 256831488 55259 33554432000 4194304 35031059 140728773963552 140728773959368 4208386 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 62703 55259 232 7529 0 55150 0
Current children cumulated CPU time (s) 1540.94
Current children cumulated vsize (KiB) 250812

[startup+1602.3 s]
/proc/loadavg: 1.98 2.00 1.97 3/187 6060
/proc/meminfo: memFree=28294740/32770624 swapFree=6192/470760
[pid=5678] ppid=5675 vsize=256180 CPUtime=1600.88 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 172542603 0 0 0 137464 22624 0 0 20 0 1 0 16135188 262328320 56593 33554432000 4194304 35031059 140728773963552 140728773959368 4208390 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 64045 56593 232 7529 0 56492 0
Current children cumulated CPU time (s) 1600.88
Current children cumulated vsize (KiB) 256180

[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/187 6061
/proc/meminfo: memFree=28278152/32770624 swapFree=6192/470812
[pid=5678] ppid=5675 vsize=255956 CPUtime=1660.81 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 180126671 0 0 0 142401 23680 0 0 20 0 1 0 16135188 262098944 56539 33554432000 4194304 35031059 140728773963552 140728773959368 4208390 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 63989 56539 232 7529 0 56436 0
Current children cumulated CPU time (s) 1660.81
Current children cumulated vsize (KiB) 255956

[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 1.98 3/187 6062
/proc/meminfo: memFree=28258540/32770624 swapFree=6192/470824
[pid=5678] ppid=5675 vsize=275056 CPUtime=1720.78 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 182232527 0 0 0 148107 23971 0 0 20 0 1 0 16135188 281657344 61332 33554432000 4194304 35031059 140728773963552 140728773959368 4209280 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 68764 61332 232 7529 0 61211 0
Current children cumulated CPU time (s) 1720.78
Current children cumulated vsize (KiB) 275056

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/188 6071
/proc/meminfo: memFree=28255636/32770624 swapFree=6192/470876
[pid=5678] ppid=5675 vsize=279180 CPUtime=1780.72 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 192584614 0 0 0 152784 25288 0 0 20 0 1 0 16135188 285880320 62356 33554432000 4194304 35031059 140728773963552 140728773959368 4207316 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 69795 62356 232 7529 0 62242 0
Current children cumulated CPU time (s) 1780.72
Current children cumulated vsize (KiB) 279180

[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 1.98 4/188 6072
/proc/meminfo: memFree=28253880/32770624 swapFree=6192/470888
[pid=5678] ppid=5675 vsize=282832 CPUtime=1840.66 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 201511464 0 0 0 157589 26477 0 0 20 0 1 0 16135188 289619968 63118 33554432000 4194304 35031059 140728773963552 140728773959368 4208684 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 70708 63118 232 7529 0 63155 0
Current children cumulated CPU time (s) 1840.66
Current children cumulated vsize (KiB) 282832

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 6073
/proc/meminfo: memFree=28236472/32770624 swapFree=6192/470944
[pid=5678] ppid=5675 vsize=297620 CPUtime=1900.62 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 204931019 0 0 0 163124 26938 0 0 20 0 1 0 16135188 304762880 66972 33554432000 4194304 35031059 140728773963552 140728773959320 4209287 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 74405 66972 232 7529 0 66852 0
Current children cumulated CPU time (s) 1900.62
Current children cumulated vsize (KiB) 297620

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 6074
/proc/meminfo: memFree=28233328/32770624 swapFree=6192/470956
[pid=5678] ppid=5675 vsize=303340 CPUtime=1960.58 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 212440913 0 0 0 168186 27872 0 0 20 0 1 0 16135188 310620160 68410 33554432000 4194304 35031059 140728773963552 140728773959368 4208390 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 75835 68410 232 7529 0 68282 0
Current children cumulated CPU time (s) 1960.58
Current children cumulated vsize (KiB) 303340

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/188 6075
/proc/meminfo: memFree=28230872/32770624 swapFree=6192/470984
[pid=5678] ppid=5675 vsize=302964 CPUtime=2020.52 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 221813068 0 0 0 172960 29092 0 0 20 0 1 0 16135188 310235136 68308 33554432000 4194304 35031059 140728773963552 140728773959368 4208379 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 75741 68308 232 7529 0 68188 0
Current children cumulated CPU time (s) 2020.52
Current children cumulated vsize (KiB) 302964

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 6077
/proc/meminfo: memFree=28212700/32770624 swapFree=6192/471036
[pid=5678] ppid=5675 vsize=321880 CPUtime=2080.48 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 226206173 0 0 0 178377 29671 0 0 20 0 1 0 16135188 329605120 73080 33554432000 4194304 35031059 140728773963552 140728773959320 4209287 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 80470 73080 232 7529 0 72917 0
Current children cumulated CPU time (s) 2080.48
Current children cumulated vsize (KiB) 321880

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 6078
/proc/meminfo: memFree=28205236/32770624 swapFree=6192/471048
[pid=5678] ppid=5675 vsize=328640 CPUtime=2140.43 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 233374327 0 0 0 183499 30544 0 0 20 0 1 0 16135188 336527360 74748 33554432000 4194304 35031059 140728773963552 140728773959368 4207316 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 82160 74748 232 7529 0 74607 0
Current children cumulated CPU time (s) 2140.43
Current children cumulated vsize (KiB) 328640

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 6079
/proc/meminfo: memFree=28207140/32770624 swapFree=6192/471104
[pid=5678] ppid=5675 vsize=331180 CPUtime=2200.37 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 241374477 0 0 0 188414 31623 0 0 20 0 1 0 16135188 339128320 75033 33554432000 4194304 35031059 140728773963552 140728773959368 4209291 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 82795 75099 232 7529 0 75242 0
Current children cumulated CPU time (s) 2200.37
Current children cumulated vsize (KiB) 331180

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 6081
/proc/meminfo: memFree=28188624/32770624 swapFree=6192/471124
[pid=5678] ppid=5675 vsize=346136 CPUtime=2260.32 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 247051171 0 0 0 193635 32397 0 0 20 0 1 0 16135188 354443264 79144 33554432000 4194304 35031059 140728773963552 140728773959320 4208995 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 86534 79144 232 7529 0 78981 0
Current children cumulated CPU time (s) 2260.32
Current children cumulated vsize (KiB) 346136

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 6082
/proc/meminfo: memFree=28181952/32770624 swapFree=6192/471148
[pid=5678] ppid=5675 vsize=350556 CPUtime=2320.28 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 253647681 0 0 0 198813 33215 0 0 20 0 1 0 16135188 358969344 80202 33554432000 4194304 35031059 140728773963552 140728773959368 4207316 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 87639 80202 232 7529 0 80086 0
Current children cumulated CPU time (s) 2320.28
Current children cumulated vsize (KiB) 350556

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 6090
/proc/meminfo: memFree=28178956/32770624 swapFree=6192/471192
[pid=5678] ppid=5675 vsize=355308 CPUtime=2380.22 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 261372409 0 0 0 203754 34268 0 0 20 0 1 0 16135188 363835392 81409 33554432000 4194304 35031059 140728773963552 140728773959368 4208386 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 88827 81409 232 7529 0 81274 0
Current children cumulated CPU time (s) 2380.22
Current children cumulated vsize (KiB) 355308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2402.1 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 6090
/proc/meminfo: memFree=28180676/32770624 swapFree=6192/471212
[pid=5678] ppid=5675 vsize=354324 CPUtime=2400 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 264127580 0 0 0 205359 34641 0 0 20 0 1 0 16135188 362827776 81134 33554432000 4194304 35031059 140728773963552 140728773959368 4207320 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 88581 81134 232 7529 0 81028 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 354324

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

[startup+2402.1 s]
/proc/loadavg: 2.00 2.01 1.98 3/187 6090
/proc/meminfo: memFree=28180676/32770624 swapFree=6192/471212
[pid=5678] ppid=5675 vsize=354324 CPUtime=2400 cores=1,3,5,7
/proc/5678/stat : 5678 (BTD) R 5675 5678 4702 0 -1 4202496 264127580 0 0 0 205359 34641 0 0 20 0 1 0 16135188 362827776 81134 33554432000 4194304 35031059 140728773963552 140728773959368 4207320 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 37130264 37226188 54497280 140728773965050 140728773965126 140728773965126 140728773967825 0
/proc/5678/statm: 88581 81134 232 7529 0 81028 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 354324

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2402.11
CPU time (s): 2400.01
CPU user time (s): 2053.6
CPU system time (s): 346.417
CPU usage (%): 99.9128
Max. virtual memory (cumulated for all children) (KiB): 355688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2053.6
system time used= 346.417
maximum resident set size= 326120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 264127580
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= 65
involuntary context switches= 120758

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.49012 second user time and 10.0692 second system time

The end

Launcher Data 

Begin job on node146 at 2017-07-21 10:51:02
IDJOB=4241411
IDBENCH=126843
IDSOLVER=2619
FILE ID=node146/4241411-1500627062
RUNJOBID= node146-1500623775-4734
PBS_JOBID= 20622988
Free space on /tmp= 61756 MiB

SOLVER NAME= BTD 2017-06-30
BENCH NAME= XCSP17/PropStress/PropStress-m1-s1/PropStress-0600.xml
COMMAND LINE= BTD TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241411-1500627062/watcher-4241411-1500627062 -o /tmp/evaluation-result-4241411-1500627062/solver-4241411-1500627062 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500623775-4734 --watchdog 2560  BTD 2400 HOME/instance-4241411-1500627062.xml

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

MD5SUM BENCH= a04cbf963a24580000cf8d80e23a65fb
RANDOM SEED=673384162

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

/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		: 1600.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	: 5334.06
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		: 2267.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		: 1600.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	: 5334.06
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		: 1600.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	: 5334.06
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		: 1600.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		: 1600.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	: 5334.06
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		: 2267.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:        31204440 kB
MemAvailable:   32008440 kB
Buffers:          160116 kB
Cached:           920088 kB
SwapCached:            0 kB
Active:           658368 kB
Inactive:         478712 kB
Active(anon):      59540 kB
Inactive(anon):     8840 kB
Active(file):     598828 kB
Inactive(file):   469872 kB
Unevictable:        6192 kB
Mlocked:            6200 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             45024 kB
Writeback:             0 kB
AnonPages:         62736 kB
Mapped:            34092 kB
Shmem:              8852 kB
Slab:             127620 kB
SReclaimable:     102272 kB
SUnreclaim:        25348 kB
KernelStack:        3360 kB
PageTables:         5124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     329956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61716 MiB
End job on node146 at 2017-07-21 11:31:04