Trace number 4243172

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.45 2401.75

General information on the benchmark

NameFischer/Fischer-m1-s1/
Fischer-11-14-fair.xml
MD5SUMabdfed4353cf02606058846107286b36
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 variables40248
Number of constraints38137
Number of domains3
Minimum domain size2
Maximum domain size20001
Distribution of domain sizes[{"size":2,"count":5342},{"size":201,"count":180},{"size":20001,"count":34726}]
Minimum variable degree2
Maximum variable degree320
Distribution of variable degrees[{"degree":2,"count":35660},{"degree":3,"count":924},{"degree":4,"count":47},{"degree":5,"count":374},{"degree":6,"count":208},{"degree":7,"count":781},{"degree":8,"count":1143},{"degree":9,"count":638},{"degree":10,"count":24},{"degree":12,"count":29},{"degree":13,"count":336},{"degree":14,"count":11},{"degree":24,"count":1},{"degree":35,"count":15},{"degree":57,"count":15},{"degree":59,"count":12},{"degree":70,"count":1},{"degree":80,"count":14},{"degree":125,"count":2},{"degree":126,"count":12},{"degree":320,"count":1}]
Minimum constraint arity1
Maximum constraint arity3
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":6162},{"arity":3,"count":31973}]
Number of extensional constraints0
Number of intensional constraints38137
Distribution of constraint types[{"type":"intension","count":38137}]
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-4243172-1500633518/watcher-4243172-1500633518 -o /tmp/evaluation-result-4243172-1500633518/solver-4243172-1500633518 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1500623775-3731 --watchdog 2560 BTD 2400 HOME/instance-4243172-1500633518.xml 

pid=6995
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.87 2.00 2.03 3/186 6998
/proc/meminfo: memFree=29798836/32770624 swapFree=6172/1914896
[pid=6998] ppid=6995 vsize=31456 CPUtime=0 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 588 0 0 0 0 0 0 0 20 0 1 0 16784299 32210944 455 33554432000 4194304 35031059 140722663031296 140722663031296 7408842 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 7864 455 226 7529 0 311 0

[startup+0.100172 s]
/proc/loadavg: 1.87 2.00 2.03 3/186 6998
/proc/meminfo: memFree=29798836/32770624 swapFree=6172/1914896
[pid=6998] ppid=6995 vsize=37252 CPUtime=0.09 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 2056 0 0 0 9 0 0 0 20 0 1 0 16784299 38146048 1925 33554432000 4194304 35031059 140722663031296 140722663027256 4207316 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 9313 1925 230 7529 0 1760 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37252

[startup+0.200392 s]
/proc/loadavg: 1.87 2.00 2.03 3/186 6998
/proc/meminfo: memFree=29798836/32770624 swapFree=6172/1914896
[pid=6998] ppid=6995 vsize=37716 CPUtime=0.19 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 3058 0 0 0 19 0 0 0 20 0 1 0 16784299 38621184 2056 33554432000 4194304 35031059 140722663031296 140722663027256 7993657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 9429 2056 230 7529 0 1876 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37716

[startup+0.30032 s]
/proc/loadavg: 1.87 2.00 2.03 3/186 6998
/proc/meminfo: memFree=29798836/32770624 swapFree=6172/1914896
[pid=6998] ppid=6995 vsize=37996 CPUtime=0.29 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 10391 0 0 0 28 1 0 0 20 0 1 0 16784299 38907904 2126 33554432000 4194304 35031059 140722663031296 140722663027256 7993657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 9543 2126 230 7529 0 1990 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37996

[startup+0.700277 s]
/proc/loadavg: 1.87 2.00 2.03 3/186 6998
/proc/meminfo: memFree=29798836/32770624 swapFree=6172/1914896
[pid=6998] ppid=6995 vsize=39524 CPUtime=0.69 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 39671 0 0 0 63 6 0 0 20 0 1 0 16784299 40472576 2492 33554432000 4194304 35031059 140722663031296 140722663027064 4208379 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 9881 2492 231 7529 0 2328 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 39524

[startup+1.50027 s]
/proc/loadavg: 1.89 2.00 2.03 3/187 6999
/proc/meminfo: memFree=29788240/32770624 swapFree=6172/1915008
[pid=6998] ppid=6995 vsize=42508 CPUtime=1.49 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 79406 0 0 0 137 12 0 0 20 0 1 0 16784299 43528192 3221 33554432000 4194304 35031059 140722663031296 140722663027112 4208990 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 10627 3221 232 7529 0 3074 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 42508

[startup+3.10028 s]
/proc/loadavg: 1.89 2.00 2.03 3/187 6999
/proc/meminfo: memFree=29783788/32770624 swapFree=6172/1915008
[pid=6998] ppid=6995 vsize=47848 CPUtime=3.08 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 201310 0 0 0 283 25 0 0 20 0 1 0 16784299 48996352 4591 33554432000 4194304 35031059 140722663031296 140722663027112 7993657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 12000 4591 232 7529 0 4447 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 47848

[startup+6.30028 s]
/proc/loadavg: 1.89 2.00 2.03 3/187 6999
/proc/meminfo: memFree=29771112/32770624 swapFree=6172/1915016
[pid=6998] ppid=6995 vsize=59828 CPUtime=6.28 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 418142 0 0 0 578 50 0 0 20 0 1 0 16784299 61263872 7570 33554432000 4194304 35031059 140722663031296 140722663027064 4207316 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 14957 7570 232 7529 0 7404 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 59828

[startup+12.7003 s]
/proc/loadavg: 1.90 2.00 2.03 3/187 6999
/proc/meminfo: memFree=29747676/32770624 swapFree=6172/1915024
[pid=6998] ppid=6995 vsize=81712 CPUtime=12.68 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 943239 0 0 0 1157 111 0 0 20 0 1 0 16784299 83673088 13018 33554432000 4194304 35031059 140722663031296 140722663027256 4208684 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 20466 13018 232 7529 0 12913 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 81712

[startup+25.5003 s]
/proc/loadavg: 1.92 2.00 2.03 3/187 6999
/proc/meminfo: memFree=29700928/32770624 swapFree=6172/1915032
[pid=6998] ppid=6995 vsize=127244 CPUtime=25.48 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 1900961 0 0 0 2325 223 0 0 20 0 1 0 16784299 130297856 24440 33554432000 4194304 35031059 140722663031296 140722663027256 7993657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 31811 24440 232 7529 0 24258 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 127244

[startup+51.1003 s]
/proc/loadavg: 1.95 2.00 2.03 3/187 6999
/proc/meminfo: memFree=29610688/32770624 swapFree=6172/1915048
[pid=6998] ppid=6995 vsize=217632 CPUtime=51.06 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 3783104 0 0 0 4664 442 0 0 20 0 1 0 16784299 222855168 47037 33554432000 4194304 35031059 140722663031296 140722663027256 7993657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 54454 47037 232 7529 0 46901 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 217632

[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.03 3/188 7008
/proc/meminfo: memFree=29426480/32770624 swapFree=6172/1915084
[pid=6998] ppid=6995 vsize=399488 CPUtime=102.23 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 7450165 0 0 0 9348 875 0 0 20 0 1 0 16784299 409075712 92487 33554432000 4194304 35031059 140722663031296 140722663027064 4209287 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 99872 92487 232 7529 0 92319 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 399488

[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.04 3/188 7009
/proc/meminfo: memFree=29215332/32770624 swapFree=6172/1915108
[pid=6998] ppid=6995 vsize=611396 CPUtime=162.18 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 11625512 0 0 0 14850 1368 0 0 20 0 1 0 16784299 626069504 145478 33554432000 4194304 35031059 140722663031296 140722663027256 7993657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 152887 145478 232 7529 0 145334 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 611396

[startup+222.306 s]
/proc/loadavg: 2.03 2.01 2.04 3/188 7010
/proc/meminfo: memFree=28999792/32770624 swapFree=6172/1915132
[pid=6998] ppid=6995 vsize=825596 CPUtime=222.14 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 15647128 0 0 0 20360 1854 0 0 20 0 1 0 16784299 845410304 198977 33554432000 4194304 35031059 140722663031296 140722663027064 4207320 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 206399 198977 232 7529 0 198846 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 825596

[startup+282.3 s]
/proc/loadavg: 1.62 1.92 2.01 2/180 7426
/proc/meminfo: memFree=28832168/32770624 swapFree=6172/1915812
[pid=6998] ppid=6995 vsize=1038532 CPUtime=282.1 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 19809635 0 0 0 25859 2351 0 0 20 0 1 0 16784299 1063456768 252251 33554432000 4194304 35031059 140722663031296 140722663027064 4207309 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 259633 252251 232 7529 0 252080 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 1038532

[startup+342.3 s]
/proc/loadavg: 1.23 1.75 1.94 2/181 7428
/proc/meminfo: memFree=28616336/32770624 swapFree=6172/1915836
[pid=6998] ppid=6995 vsize=1251716 CPUtime=342.06 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 23761258 0 0 0 31385 2821 0 0 20 0 1 0 16784299 1281757184 305544 33554432000 4194304 35031059 140722663031296 140722663027112 7993657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 312911 305540 232 7529 0 305358 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 1251716

[startup+402.3 s]
/proc/loadavg: 1.08 1.61 1.89 2/180 7429
/proc/meminfo: memFree=28404388/32770624 swapFree=6172/1915856
[pid=6998] ppid=6995 vsize=1466016 CPUtime=402.04 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 27696615 0 0 0 36914 3290 0 0 20 0 1 0 16784299 1501200384 359133 33554432000 4194304 35031059 140722663031296 140722663027256 4209287 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 366544 359133 232 7529 0 358991 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 1466016

[startup+462.3 s]
/proc/loadavg: 1.03 1.50 1.83 2/180 7430
/proc/meminfo: memFree=28188816/32770624 swapFree=6172/1915872
[pid=6998] ppid=6995 vsize=1679108 CPUtime=461.99 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 31692555 0 0 0 42436 3763 0 0 20 0 1 0 16784299 1719406592 412406 33554432000 4194304 35031059 140722663031296 140722663027256 7993657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 419777 412406 232 7529 0 412224 0
Current children cumulated CPU time (s) 461.99
Current children cumulated vsize (KiB) 1679108

[startup+522.3 s]
/proc/loadavg: 1.01 1.41 1.78 2/180 7431
/proc/meminfo: memFree=27976964/32770624 swapFree=6172/1915900
[pid=6998] ppid=6995 vsize=1893404 CPUtime=521.95 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 35574747 0 0 0 47978 4217 0 0 20 0 1 0 16784299 1938845696 465980 33554432000 4194304 35031059 140722663031296 140722663027256 7993657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 473384 465980 232 7529 0 465831 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 1893404

[startup+582.3 s]
/proc/loadavg: 1.00 1.34 1.73 2/180 7432
/proc/meminfo: memFree=27760748/32770624 swapFree=6172/1915920
[pid=6998] ppid=6995 vsize=2107732 CPUtime=581.92 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 39576214 0 0 0 53507 4685 0 0 20 0 1 0 16784299 2158317568 519536 33554432000 4194304 35031059 140722663031296 140722663027064 4209280 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 526933 519536 232 7529 0 519380 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 2107732


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


[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 1.24 2/181 7489
/proc/meminfo: memFree=23985464/32770624 swapFree=6172/1916316
[pid=6998] ppid=6995 vsize=5875892 CPUtime=1601.4 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 77776540 0 0 0 150815 9325 0 0 20 0 1 0 16784299 6016913408 1461547 33554432000 4194304 35031059 140722663031296 140722663027016 4208979 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 1468973 1461547 232 7529 0 1461420 0
Current children cumulated CPU time (s) 1601.4
Current children cumulated vsize (KiB) 5875892

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.23 2/180 7490
/proc/meminfo: memFree=23757404/32770624 swapFree=6172/1916332
[pid=6998] ppid=6995 vsize=6102384 CPUtime=1661.37 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 78777130 0 0 0 156665 9472 0 0 20 0 1 0 16784299 6248841216 1518193 33554432000 4194304 35031059 140722663031296 140722663027016 7408842 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 1525596 1518193 232 7529 0 1518043 0
Current children cumulated CPU time (s) 1661.37
Current children cumulated vsize (KiB) 6102384

[startup+1722.3 s]
/proc/loadavg: 1.04 1.03 1.22 2/180 7491
/proc/meminfo: memFree=23531768/32770624 swapFree=6172/1916360
[pid=6998] ppid=6995 vsize=6330228 CPUtime=1721.34 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 79703600 0 0 0 162526 9608 0 0 20 0 1 0 16784299 6482153472 1575151 33554432000 4194304 35031059 140722663031296 140722663027016 4208689 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 1582557 1575151 232 7529 0 1575004 0
Current children cumulated CPU time (s) 1721.34
Current children cumulated vsize (KiB) 6330228

[startup+1782.3 s]
/proc/loadavg: 1.01 1.02 1.21 2/180 7492
/proc/meminfo: memFree=23300980/32770624 swapFree=6172/1916380
[pid=6998] ppid=6995 vsize=6558068 CPUtime=1781.31 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 80522733 0 0 0 168392 9739 0 0 20 0 1 0 16784299 6715461632 1632072 33554432000 4194304 35031059 140722663031296 140722663027016 4208673 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 1639517 1632072 232 7529 0 1631964 0
Current children cumulated CPU time (s) 1781.31
Current children cumulated vsize (KiB) 6558068

[startup+1842.3 s]
/proc/loadavg: 1.00 1.01 1.20 2/180 7493
/proc/meminfo: memFree=23075392/32770624 swapFree=6172/1916400
[pid=6998] ppid=6995 vsize=6784560 CPUtime=1841.28 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 81313306 0 0 0 174269 9859 0 0 20 0 1 0 16784299 6947389440 1688749 33554432000 4194304 35031059 140722663031296 140722663027256 4208689 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 1696140 1688749 232 7529 0 1688587 0
Current children cumulated CPU time (s) 1841.28
Current children cumulated vsize (KiB) 6784560

[startup+1902.3 s]
/proc/loadavg: 1.00 1.01 1.18 2/180 7501
/proc/meminfo: memFree=22845572/32770624 swapFree=6172/1916428
[pid=6998] ppid=6995 vsize=7011052 CPUtime=1901.26 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 82240044 0 0 0 180133 9993 0 0 20 0 1 0 16784299 7179317248 1745392 33554432000 4194304 35031059 140722663031296 140722663027112 7993657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 1752797 1745392 232 7529 0 1745244 0
Current children cumulated CPU time (s) 1901.26
Current children cumulated vsize (KiB) 7011052

[startup+1962.3 s]
/proc/loadavg: 1.00 1.01 1.17 2/180 7502
/proc/meminfo: memFree=22621920/32770624 swapFree=6172/1916448
[pid=6998] ppid=6995 vsize=7237540 CPUtime=1961.25 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 83224210 0 0 0 185990 10135 0 0 20 0 1 0 16784299 7411240960 1802014 33554432000 4194304 35031059 140722663031296 140722663027256 7993657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 1809418 1802014 232 7529 0 1801865 0
Current children cumulated CPU time (s) 1961.25
Current children cumulated vsize (KiB) 7237540

[startup+2022.3 s]
/proc/loadavg: 1.00 1.01 1.16 2/180 7503
/proc/meminfo: memFree=22392600/32770624 swapFree=6172/1916476
[pid=6998] ppid=6995 vsize=7465380 CPUtime=2021.21 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 84122057 0 0 0 191847 10274 0 0 20 0 1 0 16784299 7644549120 1858900 33554432000 4194304 35031059 140722663031296 140722663027016 4209296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 1866345 1858900 232 7529 0 1858792 0
Current children cumulated CPU time (s) 2021.21
Current children cumulated vsize (KiB) 7465380

[startup+2082.3 s]
/proc/loadavg: 1.00 1.01 1.15 2/180 7504
/proc/meminfo: memFree=22164032/32770624 swapFree=6172/1916496
[pid=6998] ppid=6995 vsize=7690524 CPUtime=2081.17 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 85119963 0 0 0 197692 10425 0 0 20 0 1 0 16784299 7875096576 1915260 33554432000 4194304 35031059 140722663031296 140722663027256 7993657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 1922631 1915260 232 7529 0 1915078 0
Current children cumulated CPU time (s) 2081.17
Current children cumulated vsize (KiB) 7690524

[startup+2142.3 s]
/proc/loadavg: 1.00 1.01 1.14 2/180 7505
/proc/meminfo: memFree=21938780/32770624 swapFree=6172/1916512
[pid=6998] ppid=6995 vsize=7917012 CPUtime=2141.1 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 86072880 0 0 0 203545 10565 0 0 20 0 1 0 16784299 8107020288 1971882 33554432000 4194304 35031059 140722663031296 140722663027016 7993657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 1979253 1971882 232 7529 0 1971700 0
Current children cumulated CPU time (s) 2141.1
Current children cumulated vsize (KiB) 7917012

[startup+2202.31 s]
/proc/loadavg: 1.00 1.01 1.13 2/180 7506
/proc/meminfo: memFree=21709044/32770624 swapFree=6172/1916532
[pid=6998] ppid=6995 vsize=8144852 CPUtime=2201.09 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 86875912 0 0 0 209418 10691 0 0 20 0 1 0 16784299 8340328448 2028788 33554432000 4194304 35031059 140722663031296 140722663027016 4208986 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 2036213 2028788 232 7529 0 2028660 0
Current children cumulated CPU time (s) 2201.09
Current children cumulated vsize (KiB) 8144852

[startup+2262.3 s]
/proc/loadavg: 1.00 1.01 1.12 2/180 7507
/proc/meminfo: memFree=21483404/32770624 swapFree=6172/1916552
[pid=6998] ppid=6995 vsize=8371344 CPUtime=2261.05 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 87681264 0 0 0 215295 10810 0 0 20 0 1 0 16784299 8572256256 2085465 33554432000 4194304 35031059 140722663031296 140722663027256 7993657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 2092836 2085465 232 7529 0 2085283 0
Current children cumulated CPU time (s) 2261.05
Current children cumulated vsize (KiB) 8371344

[startup+2322.3 s]
/proc/loadavg: 1.00 1.01 1.12 2/180 7508
/proc/meminfo: memFree=21254328/32770624 swapFree=6172/1916576
[pid=6998] ppid=6995 vsize=8599180 CPUtime=2321.02 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 88460438 0 0 0 221180 10922 0 0 20 0 1 0 16784299 8805560320 2142424 33554432000 4194304 35031059 140722663031296 140722663027256 4208386 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 2149795 2142424 232 7529 0 2142242 0
Current children cumulated CPU time (s) 2321.02
Current children cumulated vsize (KiB) 8599180

[startup+2382.3 s]
/proc/loadavg: 1.00 1.01 1.11 2/180 7509
/proc/meminfo: memFree=21027360/32770624 swapFree=6172/1916596
[pid=6998] ppid=6995 vsize=8827088 CPUtime=2380.99 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 89263630 0 0 0 227060 11039 0 0 20 0 1 0 16784299 9038938112 2199386 33554432000 4194304 35031059 140722663031296 140722663027016 7993657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 2206755 2199384 232 7529 0 2199202 0
Current children cumulated CPU time (s) 2380.99
Current children cumulated vsize (KiB) 8827088



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.41 s]
/proc/loadavg: 1.00 1.01 1.11 2/180 7509
/proc/meminfo: memFree=20951936/32770624 swapFree=6172/1916604
[pid=6998] ppid=6995 vsize=8899820 CPUtime=2400.09 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4202496 89505070 0 0 0 228937 11072 0 0 20 0 1 0 16784299 9113415680 2217572 33554432000 4194304 35031059 140722663031296 140722663027016 7408295 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 37130264 37226188 62386176 140722663036154 140722663036230 140722663036230 140722663038929 0
/proc/6998/statm: 2224955 2217572 232 7529 0 2217402 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 8899820

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

[startup+2401.6 s]
/proc/loadavg: 1.00 1.01 1.11 2/180 7509
/proc/meminfo: memFree=20951936/32770624 swapFree=6172/1916604
[pid=6998] ppid=6995 vsize=0 CPUtime=2400.29 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4203524 89505070 0 0 0 228937 11092 0 0 20 0 1 0 16784299 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/6998/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.29
Current children cumulated vsize (KiB) 0

[startup+2401.7 s]
/proc/loadavg: 1.00 1.01 1.11 2/180 7509
/proc/meminfo: memFree=20951936/32770624 swapFree=6172/1916604
[pid=6998] ppid=6995 vsize=0 CPUtime=2400.39 cores=0,2,4,6
/proc/6998/stat : 6998 (BTD) R 6995 6998 3700 0 -1 4203524 89505070 0 0 0 228937 11102 0 0 20 0 1 0 16784299 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/6998/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2400.39
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2401.75
CPU time (s): 2400.45
CPU user time (s): 2289.38
CPU system time (s): 111.076
CPU usage (%): 99.9459
Max. virtual memory (cumulated for all children) (KiB): 8899820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2289.38
system time used= 111.076
maximum resident set size= 8870336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89505070
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= 950
involuntary context switches= 121992

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.66411 second user time and 8.93471 second system time

The end

Launcher Data 

Begin job on node147 at 2017-07-21 12:38:38
IDJOB=4243172
IDBENCH=139180
IDSOLVER=2619
FILE ID=node147/4243172-1500633518
RUNJOBID= node147-1500623775-3731
PBS_JOBID= 20622987
Free space on /tmp= 61900 MiB

SOLVER NAME= BTD 2017-06-30
BENCH NAME= XCSP17/Fischer/Fischer-m1-s1/Fischer-11-14-fair.xml
COMMAND LINE= BTD TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243172-1500633518/watcher-4243172-1500633518 -o /tmp/evaluation-result-4243172-1500633518/solver-4243172-1500633518 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1500623775-3731 --watchdog 2560  BTD 2400 HOME/instance-4243172-1500633518.xml

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

MD5SUM BENCH= abdfed4353cf02606058846107286b36
RANDOM SEED=828735356

node147.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		: 2400.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.11
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		: 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.11
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		: 1600.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.11
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		: 2267.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.11
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		: 1600.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:        29799152 kB
MemAvailable:   32009772 kB
Buffers:          160324 kB
Cached:          2326348 kB
SwapCached:            0 kB
Active:           619212 kB
Inactive:        1923760 kB
Active(anon):      58752 kB
Inactive(anon):     8864 kB
Active(file):     560460 kB
Inactive(file):  1914896 kB
Unevictable:        6172 kB
Mlocked:            6172 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             40332 kB
Writeback:             0 kB
AnonPages:         62028 kB
Mapped:            34132 kB
Shmem:              8852 kB
Slab:             127952 kB
SReclaimable:     102196 kB
SUnreclaim:        25756 kB
KernelStack:        3280 kB
PageTables:         4900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     329372 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:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 61900 MiB
End job on node147 at 2017-07-21 13:18:40