Trace number 4242549

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.03 2401.1

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-spng/
Pb-NG-K145.xml
MD5SUM5e6b89adf4cff092dc7bbd8ab430815e
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 variables17255
Number of constraints17547
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":17255}]
Minimum variable degree3
Maximum variable degree12
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":273},{"degree":5,"count":1771},{"degree":6,"count":7755},{"degree":7,"count":4732},{"degree":8,"count":1862},{"degree":9,"count":574},{"degree":10,"count":143},{"degree":11,"count":1},{"degree":12,"count":143}]
Minimum constraint arity1
Maximum constraint arity145
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":1872},{"arity":3,"count":7776},{"arity":4,"count":4752},{"arity":5,"count":2016},{"arity":6,"count":432},{"arity":7,"count":144},{"arity":9,"count":144},{"arity":119,"count":290},{"arity":145,"count":119}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":17547}]
Optimization problemNO
Type of objective

Solver Data 

18.88/18.96	c Version: 2017-06-30
2399.92/2401.07	s UNKNOWN
2399.92/2401.07	c Solving # Nodes: 436201
2399.92/2401.07	c Global Time: 2400 s

Verifier Data


Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242549-1500631424/watcher-4242549-1500631424 -o /tmp/evaluation-result-4242549-1500631424/solver-4242549-1500631424 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500623775-5882 --watchdog 2560 BTD 2400 HOME/instance-4242549-1500631424.xml 

pid=8129
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 2.04 3/191 8132
/proc/meminfo: memFree=31054300/32770624 swapFree=6272/663068
[pid=8132] ppid=8129 vsize=31320 CPUtime=0 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 563 0 0 0 0 0 0 0 20 0 1 0 16585298 32071680 421 33554432000 4194304 35031059 140735483095632 140735483095632 7408842 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 7830 421 226 7529 0 277 0

[startup+0.100107 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 8132
/proc/meminfo: memFree=31054300/32770624 swapFree=6272/663068
[pid=8132] ppid=8129 vsize=36308 CPUtime=0.09 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 1836 0 0 0 9 0 0 0 20 0 1 0 16585298 37179392 1705 33554432000 4194304 35031059 140735483095632 140735483091496 4632207 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 9077 1705 232 7529 0 1524 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36308

[startup+0.200271 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 8132
/proc/meminfo: memFree=31054300/32770624 swapFree=6272/663068
[pid=8132] ppid=8129 vsize=37856 CPUtime=0.19 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 12209 0 0 0 17 2 0 0 20 0 1 0 16585298 38764544 2043 33554432000 4194304 35031059 140735483095632 140735483091352 4632155 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 9464 2043 232 7529 0 1911 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37856

[startup+0.300203 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 8132
/proc/meminfo: memFree=31054300/32770624 swapFree=6272/663068
[pid=8132] ppid=8129 vsize=38800 CPUtime=0.29 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 31320 0 0 0 25 4 0 0 20 0 1 0 16585298 39731200 2268 33554432000 4194304 35031059 140735483095632 140735483091496 4632155 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 9640 2268 232 7529 0 2087 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38800

[startup+0.700173 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 8132
/proc/meminfo: memFree=31054300/32770624 swapFree=6272/663068
[pid=8132] ppid=8129 vsize=41224 CPUtime=0.69 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 132870 0 0 0 53 16 0 0 20 0 1 0 16585298 42213376 2895 33554432000 4194304 35031059 140735483095632 140735483091352 4252912 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 10359 2895 232 7529 0 2806 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41224

[startup+1.50017 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 8133
/proc/meminfo: memFree=31040908/32770624 swapFree=6272/663108
[pid=8132] ppid=8129 vsize=44744 CPUtime=1.49 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 245406 0 0 0 123 26 0 0 20 0 1 0 16585298 45817856 3794 33554432000 4194304 35031059 140735483095632 140735483087976 4254068 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 11186 3794 271 7529 0 3633 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44744

[startup+3.10017 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 8133
/proc/meminfo: memFree=31038552/32770624 swapFree=6272/663108
[pid=8132] ppid=8129 vsize=46592 CPUtime=3.09 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 248097 0 0 0 283 26 0 0 20 0 1 0 16585298 47710208 4285 33554432000 4194304 35031059 140735483095632 140735483084856 4254064 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 11648 4285 271 7529 0 4095 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46592

[startup+6.30018 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 8133
/proc/meminfo: memFree=31034184/32770624 swapFree=6272/663116
[pid=8132] ppid=8129 vsize=50684 CPUtime=6.29 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 252579 0 0 0 602 27 0 0 20 0 1 0 16585298 51900416 5305 33554432000 4194304 35031059 140735483095632 140735483087800 4254072 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 12671 5305 271 7529 0 5118 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50684

[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 8133
/proc/meminfo: memFree=31017748/32770624 swapFree=6272/663116
[pid=8132] ppid=8129 vsize=67056 CPUtime=12.68 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 257811 0 0 0 1240 28 0 0 20 0 1 0 16585298 68665344 9398 33554432000 4194304 35031059 140735483095632 140735483088424 4254334 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 16764 9398 276 7529 0 9211 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 67056

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 8133
/proc/meminfo: memFree=30848204/32770624 swapFree=6272/663136
[pid=8132] ppid=8129 vsize=236144 CPUtime=25.48 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 308051 0 0 0 2513 35 0 0 20 0 1 0 16585298 241811456 51500 33554432000 4194304 35031059 140735483095632 140735483094632 4544989 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 59036 51500 316 7529 0 51483 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 236144

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 8133
/proc/meminfo: memFree=30848164/32770624 swapFree=6272/663156
[pid=8132] ppid=8129 vsize=236144 CPUtime=51.06 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 308539 0 0 0 5069 37 0 0 20 0 1 0 16585298 241811456 51528 33554432000 4194304 35031059 140735483095632 140735483094632 4544929 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 59036 51528 316 7529 0 51483 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 236144

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 8134
/proc/meminfo: memFree=30847220/32770624 swapFree=6272/663184
[pid=8132] ppid=8129 vsize=236296 CPUtime=102.24 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 308964 0 0 0 10183 41 0 0 20 0 1 0 16585298 241967104 51551 33554432000 4194304 35031059 140735483095632 140735483094632 4544918 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 59074 51551 316 7529 0 51521 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 236296

[startup+162.3 s]
/proc/loadavg: 2.18 2.06 2.05 3/192 8135
/proc/meminfo: memFree=30846508/32770624 swapFree=6272/663208
[pid=8132] ppid=8129 vsize=236604 CPUtime=162.2 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 309414 0 0 0 16174 46 0 0 20 0 1 0 16585298 242282496 51682 33554432000 4194304 35031059 140735483095632 140735483094632 4544929 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 59151 51682 316 7529 0 51598 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 236604

[startup+222.306 s]
/proc/loadavg: 2.07 2.05 2.05 3/192 8137
/proc/meminfo: memFree=30846704/32770624 swapFree=6272/663236
[pid=8132] ppid=8129 vsize=236896 CPUtime=222.18 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 309570 0 0 0 22169 49 0 0 20 0 1 0 16585298 242581504 51792 33554432000 4194304 35031059 140735483095632 140735483094632 4544929 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 59224 51792 316 7529 0 51671 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 236896

[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/192 8138
/proc/meminfo: memFree=30846580/32770624 swapFree=6272/663260
[pid=8132] ppid=8129 vsize=237028 CPUtime=282.14 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 309693 0 0 0 28160 54 0 0 20 0 1 0 16585298 242716672 51794 33554432000 4194304 35031059 140735483095632 140735483094632 4397324 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 59257 51794 316 7529 0 51704 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 237028

[startup+342.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/192 8139
/proc/meminfo: memFree=30845276/32770624 swapFree=6272/663276
[pid=8132] ppid=8129 vsize=237336 CPUtime=342.11 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 309941 0 0 0 34153 58 0 0 20 0 1 0 16585298 243032064 51998 33554432000 4194304 35031059 140735483095632 140735483094632 4399874 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 59334 51998 316 7529 0 51781 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 237336

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 8147
/proc/meminfo: memFree=30844596/32770624 swapFree=6272/663308
[pid=8132] ppid=8129 vsize=237776 CPUtime=402.08 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 310161 0 0 0 40145 63 0 0 20 0 1 0 16585298 243482624 52092 33554432000 4194304 35031059 140735483095632 140735483094632 4544918 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 59444 52092 316 7529 0 51891 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 237776

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 8148
/proc/meminfo: memFree=30844616/32770624 swapFree=6272/663336
[pid=8132] ppid=8129 vsize=238068 CPUtime=462.05 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 310336 0 0 0 46137 68 0 0 20 0 1 0 16585298 243781632 52199 33554432000 4194304 35031059 140735483095632 140735483094632 4544929 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 59517 52199 316 7529 0 51964 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 238068

[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/191 8149
/proc/meminfo: memFree=30844756/32770624 swapFree=6272/663356
[pid=8132] ppid=8129 vsize=238360 CPUtime=522.02 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 310577 0 0 0 52128 74 0 0 20 0 1 0 16585298 244080640 52266 33554432000 4194304 35031059 140735483095632 140735483094632 4544918 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 59590 52266 316 7529 0 52037 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 238360

[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 8151
/proc/meminfo: memFree=30844244/32770624 swapFree=6272/663376
[pid=8132] ppid=8129 vsize=238528 CPUtime=581.98 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 310761 0 0 0 58118 80 0 0 20 0 1 0 16585298 244252672 52339 33554432000 4194304 35031059 140735483095632 140735483094632 4544915 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 59632 52339 316 7529 0 52079 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 238528


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 8179
/proc/meminfo: memFree=30836420/32770624 swapFree=6272/663764
[pid=8132] ppid=8129 vsize=245532 CPUtime=1541.53 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 315227 0 0 0 153990 163 0 0 20 0 1 0 16585298 251424768 54046 33554432000 4194304 35031059 140735483095632 140735483094632 4544929 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 61383 54046 316 7529 0 53830 0
Current children cumulated CPU time (s) 1541.53
Current children cumulated vsize (KiB) 245532

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 8188
/proc/meminfo: memFree=30836124/32770624 swapFree=6272/663800
[pid=8132] ppid=8129 vsize=245884 CPUtime=1601.5 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 315386 0 0 0 159981 169 0 0 20 0 1 0 16585298 251785216 54143 33554432000 4194304 35031059 140735483095632 140735483094632 4397338 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 61471 54143 316 7529 0 53918 0
Current children cumulated CPU time (s) 1601.5
Current children cumulated vsize (KiB) 245884

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 8190
/proc/meminfo: memFree=30835984/32770624 swapFree=6272/663824
[pid=8132] ppid=8129 vsize=246364 CPUtime=1661.46 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 315621 0 0 0 165972 174 0 0 20 0 1 0 16585298 252276736 54226 33554432000 4194304 35031059 140735483095632 140735483094632 4397352 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 61591 54226 316 7529 0 54038 0
Current children cumulated CPU time (s) 1661.46
Current children cumulated vsize (KiB) 246364

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 8191
/proc/meminfo: memFree=30835176/32770624 swapFree=6272/663844
[pid=8132] ppid=8129 vsize=246724 CPUtime=1721.44 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 315756 0 0 0 171964 180 0 0 20 0 1 0 16585298 252645376 54313 33554432000 4194304 35031059 140735483095632 140735483094632 4544929 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 61681 54313 316 7529 0 54128 0
Current children cumulated CPU time (s) 1721.44
Current children cumulated vsize (KiB) 246724

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 8192
/proc/meminfo: memFree=30834920/32770624 swapFree=6272/663868
[pid=8132] ppid=8129 vsize=247072 CPUtime=1781.42 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 315910 0 0 0 177960 182 0 0 20 0 1 0 16585298 253001728 54450 33554432000 4194304 35031059 140735483095632 140735483094632 4544922 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 61768 54450 316 7529 0 54215 0
Current children cumulated CPU time (s) 1781.42
Current children cumulated vsize (KiB) 247072

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 8193
/proc/meminfo: memFree=30834840/32770624 swapFree=6272/663884
[pid=8132] ppid=8129 vsize=247072 CPUtime=1841.39 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 315994 0 0 0 183954 185 0 0 20 0 1 0 16585298 253001728 54450 33554432000 4194304 35031059 140735483095632 140735483094632 4544915 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 61768 54450 316 7529 0 54215 0
Current children cumulated CPU time (s) 1841.39
Current children cumulated vsize (KiB) 247072

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 8194
/proc/meminfo: memFree=30834740/32770624 swapFree=6272/663912
[pid=8132] ppid=8129 vsize=247220 CPUtime=1901.37 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 316150 0 0 0 189949 188 0 0 20 0 1 0 16585298 253153280 54514 33554432000 4194304 35031059 140735483095632 140735483094632 4545040 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 61805 54514 316 7529 0 54252 0
Current children cumulated CPU time (s) 1901.37
Current children cumulated vsize (KiB) 247220

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 8195
/proc/meminfo: memFree=30834600/32770624 swapFree=6272/663940
[pid=8132] ppid=8129 vsize=247220 CPUtime=1961.35 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 316193 0 0 0 195945 190 0 0 20 0 1 0 16585298 253153280 54514 33554432000 4194304 35031059 140735483095632 140735483094632 4397338 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 61805 54514 316 7529 0 54252 0
Current children cumulated CPU time (s) 1961.35
Current children cumulated vsize (KiB) 247220

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 8196
/proc/meminfo: memFree=30834680/32770624 swapFree=6272/663964
[pid=8132] ppid=8129 vsize=247220 CPUtime=2021.35 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 316236 0 0 0 201944 191 0 0 20 0 1 0 16585298 253153280 54514 33554432000 4194304 35031059 140735483095632 140735483094632 4397338 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 61805 54514 316 7529 0 54252 0
Current children cumulated CPU time (s) 2021.35
Current children cumulated vsize (KiB) 247220

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 8198
/proc/meminfo: memFree=30834928/32770624 swapFree=6272/663976
[pid=8132] ppid=8129 vsize=247536 CPUtime=2081.33 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 316351 0 0 0 207940 193 0 0 20 0 1 0 16585298 253476864 54533 33554432000 4194304 35031059 140735483095632 140735483094632 4544915 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 61884 54533 316 7529 0 54331 0
Current children cumulated CPU time (s) 2081.33
Current children cumulated vsize (KiB) 247536

[startup+2142.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/192 8199
/proc/meminfo: memFree=30834736/32770624 swapFree=6272/664004
[pid=8132] ppid=8129 vsize=247536 CPUtime=2141.3 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 316396 0 0 0 213935 195 0 0 20 0 1 0 16585298 253476864 54578 33554432000 4194304 35031059 140735483095632 140735483094632 4397357 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 61884 54578 316 7529 0 54331 0
Current children cumulated CPU time (s) 2141.3
Current children cumulated vsize (KiB) 247536

[startup+2202.31 s]
/proc/loadavg: 2.03 2.03 2.05 3/192 8267
/proc/meminfo: memFree=30687876/32770624 swapFree=6272/664116
[pid=8132] ppid=8129 vsize=247860 CPUtime=2201.29 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 316544 0 0 0 219933 196 0 0 20 0 1 0 16585298 253808640 54633 33554432000 4194304 35031059 140735483095632 140735483094632 4544915 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 61965 54633 316 7529 0 54412 0
Current children cumulated CPU time (s) 2201.29
Current children cumulated vsize (KiB) 247860

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/192 8268
/proc/meminfo: memFree=30479352/32770624 swapFree=6272/664160
[pid=8132] ppid=8129 vsize=247860 CPUtime=2261.26 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 316607 0 0 0 225927 199 0 0 20 0 1 0 16585298 253808640 54661 33554432000 4194304 35031059 140735483095632 140735483094632 4544915 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 61965 54661 316 7529 0 54412 0
Current children cumulated CPU time (s) 2261.26
Current children cumulated vsize (KiB) 247860

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 8269
/proc/meminfo: memFree=30264136/32770624 swapFree=6272/664184
[pid=8132] ppid=8129 vsize=248164 CPUtime=2321.24 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 316764 0 0 0 231922 202 0 0 20 0 1 0 16585298 254119936 54744 33554432000 4194304 35031059 140735483095632 140735483094632 4397357 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 62041 54744 316 7529 0 54488 0
Current children cumulated CPU time (s) 2321.24
Current children cumulated vsize (KiB) 248164

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 8272
/proc/meminfo: memFree=30052248/32770624 swapFree=6272/664208
[pid=8132] ppid=8129 vsize=248164 CPUtime=2381.23 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 316813 0 0 0 237919 204 0 0 20 0 1 0 16585298 254119936 54744 33554432000 4194304 35031059 140735483095632 140735483094632 4397304 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 62041 54744 316 7529 0 54488 0
Current children cumulated CPU time (s) 2381.23
Current children cumulated vsize (KiB) 248164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2401.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 8273
/proc/meminfo: memFree=29987704/32770624 swapFree=6272/664232
[pid=8132] ppid=8129 vsize=226084 CPUtime=2400.02 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 317115 0 0 0 239797 205 0 0 20 0 1 0 16585298 231510016 49246 33554432000 4194304 35031059 140735483095632 140735483094728 4364264 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 56521 49246 327 7529 0 48968 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 226084

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

[startup+2401.1 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 8273
/proc/meminfo: memFree=29987704/32770624 swapFree=6272/664232
[pid=8132] ppid=8129 vsize=226084 CPUtime=2400.02 cores=1,3,5,7
/proc/8132/stat : 8132 (BTD) R 8129 8132 5850 0 -1 4202496 317115 0 0 0 239797 205 0 0 20 0 1 0 16585298 231510016 49246 33554432000 4194304 35031059 140735483095632 140735483094728 4364264 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 37130264 37226188 45240320 140735483098362 140735483098438 140735483098438 140735483101137 0
/proc/8132/statm: 56521 49246 327 7529 0 48968 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 226084

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2401.1
CPU time (s): 2400.03
CPU user time (s): 2397.98
CPU system time (s): 2.05309
CPU usage (%): 99.9553
Max. virtual memory (cumulated for all children) (KiB): 248164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.98
system time used= 2.05309
maximum resident set size= 219020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 317115
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= 19
involuntary context switches= 120216

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.72375 second user time and 10.1532 second system time

The end

Launcher Data 

Begin job on node135 at 2017-07-21 12:03:44
IDJOB=4242549
IDBENCH=134763
IDSOLVER=2619
FILE ID=node135/4242549-1500631424
RUNJOBID= node135-1500623775-5882
PBS_JOBID= 20622998
Free space on /tmp= 61816 MiB

SOLVER NAME= BTD 2017-06-30
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-spng/Pb-NG-K145.xml
COMMAND LINE= BTD TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242549-1500631424/watcher-4242549-1500631424 -o /tmp/evaluation-result-4242549-1500631424/solver-4242549-1500631424 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1500623775-5882 --watchdog 2560  BTD 2400 HOME/instance-4242549-1500631424.xml

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

MD5SUM BENCH= 5e6b89adf4cff092dc7bbd8ab430815e
RANDOM SEED=1667265132

node135.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		: 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.51
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		: 1867.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	: 5333.51
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		: 2267.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	: 5333.51
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	: 5333.51
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:        31054440 kB
MemAvailable:   32002356 kB
Buffers:          157816 kB
Cached:          1066480 kB
SwapCached:            0 kB
Active:           615892 kB
Inactive:         671848 kB
Active(anon):      66196 kB
Inactive(anon):     8780 kB
Active(file):     549696 kB
Inactive(file):   663068 kB
Unevictable:        6272 kB
Mlocked:            6272 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             39612 kB
Writeback:            32 kB
AnonPages:         69580 kB
Mapped:            33468 kB
Shmem:              8872 kB
Slab:             127544 kB
SReclaimable:     101976 kB
SUnreclaim:        25568 kB
KernelStack:        3600 kB
PageTables:         4956 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     335996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61776 MiB
End job on node135 at 2017-07-21 12:43:45