Trace number 4252560

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
miniBTD 2017-06-30? (TO) 2400.12 2400.14

General information on the benchmark

NamePropStress/PropStress-m1-s1/
PropStress-0100.xml
MD5SUM19a1ccc0f05ea1d1bfe58729015e10bb
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark21.5826
Satisfiable
(Un)Satisfiability was proved
Number of variables202
Number of constraints5251
Number of domains1
Minimum domain size10001
Maximum domain size10001
Distribution of domain sizes[{"size":10001,"count":202}]
Minimum variable degree2
Maximum variable degree101
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":99},{"degree":100,"count":99},{"degree":101,"count":3}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":5251}]
Number of extensional constraints0
Number of intensional constraints5251
Distribution of constraint types[{"type":"intension","count":5251}]
Optimization problemNO
Type of objective

Solver Data 

18.17/18.26	c Version: 2017-06-30

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4252560-1500930932/watcher-4252560-1500930932 -o /tmp/evaluation-result-4252560-1500930932/solver-4252560-1500930932 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1500930932-4517 --watchdog 2560 miniBTD 2400 HOME/instance-4252560-1500930932.xml 

pid=4545
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: 1.05 1.56 1.80 2/183 4548
/proc/meminfo: memFree=31973084/32770624 swapFree=6356/149372
[pid=4548] ppid=4545 vsize=25672 CPUtime=0 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 2645964 26288128 341 33554432000 4194304 4832315 140720346804144 140720346803336 140698150837200 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 6418 341 284 156 0 60 0

[startup+0.100175 s]
/proc/loadavg: 1.05 1.56 1.80 2/183 4548
/proc/meminfo: memFree=31973084/32770624 swapFree=6356/149372
[pid=4548] ppid=4545 vsize=26916 CPUtime=0.09 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 1225 0 0 0 9 0 0 0 20 0 1 0 2645964 27561984 858 33554432000 4194304 4832315 140720346804144 140720346803336 4215837 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 6729 858 512 156 0 371 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26916

[startup+0.200286 s]
/proc/loadavg: 1.05 1.56 1.80 2/183 4548
/proc/meminfo: memFree=31973084/32770624 swapFree=6356/149372
[pid=4548] ppid=4545 vsize=27792 CPUtime=0.19 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 1798 0 0 0 19 0 0 0 20 0 1 0 2645964 28459008 1085 33554432000 4194304 4832315 140720346804144 140720346803336 4217333 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 6948 1085 512 156 0 590 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27792

[startup+0.300265 s]
/proc/loadavg: 1.05 1.56 1.80 2/183 4548
/proc/meminfo: memFree=31973084/32770624 swapFree=6356/149372
[pid=4548] ppid=4545 vsize=28580 CPUtime=0.28 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 2347 0 0 0 28 0 0 0 20 0 1 0 2645964 29265920 1287 33554432000 4194304 4832315 140720346804144 140720346803336 140698136239077 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 7145 1287 512 156 0 787 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 28580

[startup+0.70022 s]
/proc/loadavg: 1.05 1.56 1.80 2/183 4548
/proc/meminfo: memFree=31973084/32770624 swapFree=6356/149372
[pid=4548] ppid=4545 vsize=32084 CPUtime=0.69 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 4650 0 0 0 68 1 0 0 20 0 1 0 2645964 32854016 2166 33554432000 4194304 4832315 140720346804144 140720346800696 4217005 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 8021 2166 512 156 0 1663 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32084

[startup+1.50022 s]
/proc/loadavg: 1.05 1.55 1.79 3/184 4549
/proc/meminfo: memFree=31955376/32770624 swapFree=6356/149728
[pid=4548] ppid=4545 vsize=39324 CPUtime=1.48 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 8223 0 0 0 147 1 0 0 20 0 1 0 2645964 40267776 3970 33554432000 4194304 4832315 140720346804144 140720346800696 140698136238062 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 9831 3970 512 156 0 3473 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 39324

[startup+3.10022 s]
/proc/loadavg: 1.05 1.55 1.79 4/184 4549
/proc/meminfo: memFree=31941820/32770624 swapFree=6356/149728
[pid=4548] ppid=4545 vsize=53492 CPUtime=3.08 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 17029 0 0 0 305 3 0 0 20 0 1 0 2645964 54775808 7508 33554432000 4194304 4832315 140720346804144 140720346800696 4217320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 13373 7508 512 156 0 7015 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 53492

[startup+6.30022 s]
/proc/loadavg: 1.05 1.55 1.79 3/184 4549
/proc/meminfo: memFree=31906660/32770624 swapFree=6356/149728
[pid=4548] ppid=4545 vsize=81844 CPUtime=6.28 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 37015 0 0 0 622 6 0 0 20 0 1 0 2645964 83808256 14592 33554432000 4194304 4832315 140720346804144 140720346800696 4217320 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 20461 14592 512 156 0 14103 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 81844

[startup+12.7002 s]
/proc/loadavg: 1.19 1.56 1.79 3/184 4549
/proc/meminfo: memFree=31829164/32770624 swapFree=6356/149512
[pid=4548] ppid=4545 vsize=138596 CPUtime=12.68 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 73040 0 0 0 1255 13 0 0 20 0 1 0 2645964 141922304 28794 33554432000 4194304 4832315 140720346804144 140720346800696 140698136699884 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 34649 28794 512 156 0 28291 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 138596

[startup+25.5003 s]
/proc/loadavg: 1.32 1.58 1.79 3/184 4549
/proc/meminfo: memFree=30967840/32770624 swapFree=6356/149536
[pid=4548] ppid=4545 vsize=993888 CPUtime=25.48 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 302775 0 0 0 2506 42 0 0 20 0 1 0 2645964 1017741312 242645 33554432000 4194304 4832315 140720346804144 140720346801320 4282004 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 248472 242645 580 156 0 242114 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 993888

[startup+51.1003 s]
/proc/loadavg: 1.55 1.61 1.80 3/184 4549
/proc/meminfo: memFree=30948836/32770624 swapFree=6356/149552
[pid=4548] ppid=4545 vsize=1012896 CPUtime=51.07 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 308753 0 0 0 5065 42 0 0 20 0 1 0 2645964 1037205504 247418 33554432000 4194304 4832315 140720346804144 140720346801320 4281013 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 253224 247418 580 156 0 246866 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1012896

[startup+102.3 s]
/proc/loadavg: 1.82 1.67 1.81 3/184 4550
/proc/meminfo: memFree=30909528/32770624 swapFree=6356/149576
[pid=4548] ppid=4545 vsize=1051044 CPUtime=102.28 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 320576 0 0 0 10184 44 0 0 20 0 1 0 2645964 1076269056 256950 33554432000 4194304 4832315 140720346804144 140720346801320 4278721 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 262761 256950 580 156 0 256403 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1051044

[startup+162.3 s]
/proc/loadavg: 1.93 1.73 1.82 3/184 4551
/proc/meminfo: memFree=30863608/32770624 swapFree=6356/149596
[pid=4548] ppid=4545 vsize=1096584 CPUtime=162.27 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 332334 0 0 0 16181 46 0 0 20 0 1 0 2645964 1122902016 268314 33554432000 4194304 4832315 140720346804144 140720346801320 4278710 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 274146 268314 580 156 0 267788 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1096584

[startup+222.306 s]
/proc/loadavg: 1.98 1.78 1.83 3/184 4552
/proc/meminfo: memFree=30818032/32770624 swapFree=6356/149616
[pid=4548] ppid=4545 vsize=1141464 CPUtime=222.27 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 343808 0 0 0 22180 47 0 0 20 0 1 0 2645964 1168859136 279559 33554432000 4194304 4832315 140720346804144 140720346801320 4282001 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 285366 279559 580 156 0 279008 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 1141464

[startup+282.3 s]
/proc/loadavg: 1.99 1.82 1.85 3/185 4561
/proc/meminfo: memFree=30772224/32770624 swapFree=6356/149644
[pid=4548] ppid=4545 vsize=1186344 CPUtime=282.27 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 355218 0 0 0 28178 49 0 0 20 0 1 0 2645964 1214816256 290793 33554432000 4194304 4832315 140720346804144 140720346801320 4281048 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 296586 290793 580 156 0 290228 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 1186344

[startup+342.3 s]
/proc/loadavg: 2.00 1.85 1.86 3/183 4562
/proc/meminfo: memFree=30727408/32770624 swapFree=6356/149680
[pid=4548] ppid=4545 vsize=1231092 CPUtime=342.26 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 366595 0 0 0 34176 50 0 0 20 0 1 0 2645964 1260638208 301934 33554432000 4194304 4832315 140720346804144 140720346801320 4281152 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 307773 301934 580 156 0 301415 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 1231092

[startup+402.3 s]
/proc/loadavg: 2.00 1.88 1.87 3/183 4563
/proc/meminfo: memFree=30683152/32770624 swapFree=6356/149696
[pid=4548] ppid=4545 vsize=1275840 CPUtime=402.27 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 377970 0 0 0 40175 52 0 0 20 0 1 0 2645964 1306460160 313120 33554432000 4194304 4832315 140720346804144 140720346801320 4281058 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 318960 313120 580 156 0 312602 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 1275840

[startup+462.3 s]
/proc/loadavg: 2.00 1.90 1.87 3/183 4564
/proc/meminfo: memFree=30637900/32770624 swapFree=6356/149716
[pid=4548] ppid=4545 vsize=1320720 CPUtime=462.26 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 389371 0 0 0 46173 53 0 0 20 0 1 0 2645964 1352417280 324345 33554432000 4194304 4832315 140720346804144 140720346801320 4281992 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 330180 324345 580 156 0 323822 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 1320720

[startup+522.3 s]
/proc/loadavg: 2.00 1.92 1.88 3/183 4565
/proc/meminfo: memFree=30593456/32770624 swapFree=6356/149736
[pid=4548] ppid=4545 vsize=1365336 CPUtime=522.27 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 400671 0 0 0 52172 55 0 0 20 0 1 0 2645964 1398104064 335494 33554432000 4194304 4832315 140720346804144 140720346801320 4278721 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 341334 335494 580 156 0 334976 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 1365336

[startup+582.3 s]
/proc/loadavg: 2.00 1.93 1.88 3/182 4567
/proc/meminfo: memFree=30548412/32770624 swapFree=6356/149764
[pid=4548] ppid=4545 vsize=1410216 CPUtime=582.26 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 412249 0 0 0 58170 56 0 0 20 0 1 0 2645964 1444061184 346756 33554432000 4194304 4832315 140720346804144 140720346801320 4278612 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 352554 346756 580 156 0 346196 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 1410216


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


[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 1.97 3/182 4598
/proc/meminfo: memFree=29825836/32770624 swapFree=6356/150156
[pid=4548] ppid=4545 vsize=2126712 CPUtime=1542.27 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 595239 0 0 0 154144 83 0 0 20 0 1 0 2645964 2177753088 525823 33554432000 4194304 4832315 140720346804144 140720346801320 4281232 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 531678 525823 580 156 0 525320 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 2126712

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.97 4/182 4599
/proc/meminfo: memFree=29781452/32770624 swapFree=6356/150180
[pid=4548] ppid=4545 vsize=2171460 CPUtime=1602.26 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 606751 0 0 0 160142 84 0 0 20 0 1 0 2645964 2223575040 537069 33554432000 4194304 4832315 140720346804144 140720346801320 4281152 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 542865 537069 580 156 0 536507 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 2171460

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/182 4600
/proc/meminfo: memFree=29736680/32770624 swapFree=6356/150200
[pid=4548] ppid=4545 vsize=2216208 CPUtime=1662.26 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 618133 0 0 0 166140 86 0 0 20 0 1 0 2645964 2269396992 548210 33554432000 4194304 4832315 140720346804144 140720346801320 4281145 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 554052 548210 580 156 0 547694 0
Current children cumulated CPU time (s) 1662.26
Current children cumulated vsize (KiB) 2216208

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/182 4601
/proc/meminfo: memFree=29692712/32770624 swapFree=6356/150216
[pid=4548] ppid=4545 vsize=2260956 CPUtime=1722.26 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 629699 0 0 0 172139 87 0 0 20 0 1 0 2645964 2315218944 559390 33554432000 4194304 4832315 140720346804144 140720346801320 4278565 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 565239 559390 580 156 0 558881 0
Current children cumulated CPU time (s) 1722.26
Current children cumulated vsize (KiB) 2260956

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/182 4602
/proc/meminfo: memFree=29647072/32770624 swapFree=6356/150240
[pid=4548] ppid=4545 vsize=2305836 CPUtime=1782.27 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 641250 0 0 0 178138 89 0 0 20 0 1 0 2645964 2361176064 570598 33554432000 4194304 4832315 140720346804144 140720346801320 4264076 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 576459 570598 580 156 0 570101 0
Current children cumulated CPU time (s) 1782.27
Current children cumulated vsize (KiB) 2305836

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/182 4603
/proc/meminfo: memFree=29602220/32770624 swapFree=6356/150268
[pid=4548] ppid=4545 vsize=2350452 CPUtime=1842.27 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 652745 0 0 0 184136 91 0 0 20 0 1 0 2645964 2406862848 581813 33554432000 4194304 4832315 140720346804144 140720346801320 4279000 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 587613 581813 580 156 0 581255 0
Current children cumulated CPU time (s) 1842.27
Current children cumulated vsize (KiB) 2350452

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/182 4604
/proc/meminfo: memFree=29556976/32770624 swapFree=6356/150292
[pid=4548] ppid=4545 vsize=2395200 CPUtime=1902.27 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 664295 0 0 0 190134 93 0 0 20 0 1 0 2645964 2452684800 593004 33554432000 4194304 4832315 140720346804144 140720346801320 4278544 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 598800 593004 580 156 0 592442 0
Current children cumulated CPU time (s) 1902.27
Current children cumulated vsize (KiB) 2395200

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/182 4605
/proc/meminfo: memFree=29512472/32770624 swapFree=6356/150312
[pid=4548] ppid=4545 vsize=2439816 CPUtime=1962.27 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 675767 0 0 0 196132 95 0 0 20 0 1 0 2645964 2498371584 604112 33554432000 4194304 4832315 140720346804144 140720346801320 4278706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 609954 604112 580 156 0 603596 0
Current children cumulated CPU time (s) 1962.27
Current children cumulated vsize (KiB) 2439816

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/182 4606
/proc/meminfo: memFree=29467156/32770624 swapFree=6356/150332
[pid=4548] ppid=4545 vsize=2484828 CPUtime=2022.26 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 687392 0 0 0 202130 96 0 0 20 0 1 0 2645964 2544463872 615333 33554432000 4194304 4832315 140720346804144 140720346801320 4279000 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 621207 615333 580 156 0 614849 0
Current children cumulated CPU time (s) 2022.26
Current children cumulated vsize (KiB) 2484828

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/182 4614
/proc/meminfo: memFree=29421616/32770624 swapFree=6356/150356
[pid=4548] ppid=4545 vsize=2529576 CPUtime=2082.27 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 699016 0 0 0 208130 97 0 0 20 0 1 0 2645964 2590285824 626593 33554432000 4194304 4832315 140720346804144 140720346801320 4278721 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 632394 626593 580 156 0 626036 0
Current children cumulated CPU time (s) 2082.27
Current children cumulated vsize (KiB) 2529576

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/182 4615
/proc/meminfo: memFree=29377416/32770624 swapFree=6356/150384
[pid=4548] ppid=4545 vsize=2574192 CPUtime=2142.27 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 710491 0 0 0 214128 99 0 0 20 0 1 0 2645964 2635972608 637689 33554432000 4194304 4832315 140720346804144 140720346801320 4264076 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 643548 637689 580 156 0 637190 0
Current children cumulated CPU time (s) 2142.27
Current children cumulated vsize (KiB) 2574192

[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 1.97 3/182 4616
/proc/meminfo: memFree=29332128/32770624 swapFree=6356/150404
[pid=4548] ppid=4545 vsize=2619072 CPUtime=2202.28 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 721933 0 0 0 220128 100 0 0 20 0 1 0 2645964 2681929728 648943 33554432000 4194304 4832315 140720346804144 140720346801320 4278638 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 654768 648943 580 156 0 648410 0
Current children cumulated CPU time (s) 2202.28
Current children cumulated vsize (KiB) 2619072

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.97 4/182 4628
/proc/meminfo: memFree=29286308/32770624 swapFree=6356/150736
[pid=4548] ppid=4545 vsize=2663424 CPUtime=2262.27 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 733409 0 0 0 226125 102 0 0 20 0 1 0 2645964 2727346176 660051 33554432000 4194304 4832315 140720346804144 140720346801320 4264056 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 665856 660051 580 156 0 659498 0
Current children cumulated CPU time (s) 2262.27
Current children cumulated vsize (KiB) 2663424

[startup+2322.3 s]
/proc/loadavg: 2.07 2.03 1.97 3/182 4629
/proc/meminfo: memFree=29241640/32770624 swapFree=6356/150760
[pid=4548] ppid=4545 vsize=2708172 CPUtime=2322.27 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 744791 0 0 0 232123 104 0 0 20 0 1 0 2645964 2773168128 671213 33554432000 4194304 4832315 140720346804144 140720346801320 4282001 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 677043 671213 580 156 0 670685 0
Current children cumulated CPU time (s) 2322.27
Current children cumulated vsize (KiB) 2708172

[startup+2382.3 s]
/proc/loadavg: 2.03 2.02 1.97 3/182 4631
/proc/meminfo: memFree=29197076/32770624 swapFree=6356/150788
[pid=4548] ppid=4545 vsize=2752920 CPUtime=2382.27 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 756285 0 0 0 238122 105 0 0 20 0 1 0 2645964 2818990080 682368 33554432000 4194304 4832315 140720346804144 140720346801320 4281202 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 688230 682368 580 156 0 681872 0
Current children cumulated CPU time (s) 2382.27
Current children cumulated vsize (KiB) 2752920



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.1 s]
/proc/loadavg: 2.09 2.04 1.98 3/182 4631
/proc/meminfo: memFree=29183792/32770624 swapFree=6356/150804
[pid=4548] ppid=4545 vsize=2766120 CPUtime=2400.06 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 759759 0 0 0 239901 105 0 0 20 0 1 0 2645964 2832506880 685693 33554432000 4194304 4832315 140720346804144 140720346801320 4278706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 691530 685693 580 156 0 685172 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 2766120

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

[startup+2400.1 s]
/proc/loadavg: 2.09 2.04 1.98 3/182 4631
/proc/meminfo: memFree=29183792/32770624 swapFree=6356/150804
[pid=4548] ppid=4545 vsize=2766120 CPUtime=2400.06 cores=1,3,5,7
/proc/4548/stat : 4548 (miniBTD) R 4545 4548 4485 0 -1 4202496 759759 0 0 0 239901 105 0 0 20 0 1 0 2645964 2832506880 685693 33554432000 4194304 4832315 140720346804144 140720346801320 4278706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 6932504 6936608 10645504 140720346809586 140720346809666 140720346809666 140720346812365 0
/proc/4548/statm: 691530 685693 580 156 0 685172 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 2766120

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.14
CPU time (s): 2400.12
CPU user time (s): 2399.02
CPU system time (s): 1.09702
CPU usage (%): 99.9989
Max. virtual memory (cumulated for all children) (KiB): 2766120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.02
system time used= 1.09702
maximum resident set size= 2742892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 759759
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= 175
involuntary context switches= 1061

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.15259 second user time and 8.36492 second system time

The end

Launcher Data 

Begin job on node119 at 2017-07-24 23:15:32
IDJOB=4252560
IDBENCH=126841
IDSOLVER=2632
FILE ID=node119/4252560-1500930932
RUNJOBID= node119-1500930932-4517
PBS_JOBID= 20625426
Free space on /tmp= 61640 MiB

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

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

MD5SUM BENCH= 19a1ccc0f05ea1d1bfe58729015e10bb
RANDOM SEED=992073971

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31976132 kB
MemAvailable:   32059904 kB
Buffers:           48088 kB
Cached:           349884 kB
SwapCached:            0 kB
Active:           285428 kB
Inactive:         156636 kB
Active(anon):      47116 kB
Inactive(anon):     8564 kB
Active(file):     238312 kB
Inactive(file):   148072 kB
Unevictable:        6356 kB
Mlocked:            6356 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             14488 kB
Writeback:             0 kB
AnonPages:         49256 kB
Mapped:            26288 kB
Shmem:              8848 kB
Slab:              51644 kB
SReclaimable:      26448 kB
SUnreclaim:        25196 kB
KernelStack:        3024 kB
PageTables:         5040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     265384 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:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61636 MiB
End job on node119 at 2017-07-24 23:55:32