Trace number 4252186

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.04 2400.1

General information on the benchmark

NameLangford/Langford-m2-s1/
LangfordBin-90.xml
MD5SUM2a5b3790b47e1c2f5ad8b085143681cb
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 variables360
Number of constraints270
Number of domains2
Minimum domain size90
Maximum domain size180
Distribution of domain sizes[{"size":90,"count":180},{"size":180,"count":180}]
Minimum variable degree2
Maximum variable degree180
Distribution of variable degrees[{"degree":2,"count":180},{"degree":180,"count":180}]
Minimum constraint arity2
Maximum constraint arity181
Distribution of constraint arities[{"arity":2,"count":90},{"arity":181,"count":180}]
Number of extensional constraints0
Number of intensional constraints90
Distribution of constraint types[{"type":"intension","count":90},{"type":"element","count":180}]
Optimization problemNO
Type of objective

Solver Data 

0.09/0.19	c Version: 2017-06-30
2399.93/2400.07	s UNKNOWN
2399.93/2400.07	c Solving # Nodes: 139165
2399.93/2400.07	c Global Time: 2400.01 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-4252186-1500926980/watcher-4252186-1500926980 -o /tmp/evaluation-result-4252186-1500926980/solver-4252186-1500926980 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500914928-3502 --watchdog 2560 miniBTD 2400 HOME/instance-4252186-1500926980.xml 

pid=6240
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: 2.03 2.02 2.05 3/181 6243
/proc/meminfo: memFree=32109348/32770624 swapFree=5828/120676
[pid=6243] ppid=6240 vsize=26000 CPUtime=0 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 792 0 0 0 0 0 0 0 20 0 1 0 2237670 26624000 613 33554432000 4194304 4832315 140726528051216 140726528048216 140152488033253 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 6500 613 512 156 0 142 0

[startup+0.100109 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 6243
/proc/meminfo: memFree=32109348/32770624 swapFree=5828/120676
[pid=6243] ppid=6240 vsize=33092 CPUtime=0.09 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 2594 0 0 0 9 0 0 0 20 0 1 0 2237670 33886208 2384 33554432000 4194304 4832315 140726528051216 140726528047768 140152497480195 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 8273 2384 530 156 0 1915 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33092

[startup+0.200274 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 6243
/proc/meminfo: memFree=32109348/32770624 swapFree=5828/120676
[pid=6243] ppid=6240 vsize=36388 CPUtime=0.19 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 3467 0 0 0 19 0 0 0 20 0 1 0 2237670 37261312 3293 33554432000 4194304 4832315 140726528051216 140726528047768 140152488033253 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 9130 3293 583 156 0 2772 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 36388

[startup+0.300225 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 6243
/proc/meminfo: memFree=32109348/32770624 swapFree=5828/120676
[pid=6243] ppid=6240 vsize=61468 CPUtime=0.29 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 9726 0 0 0 28 1 0 0 20 0 1 0 2237670 62943232 9497 33554432000 4194304 4832315 140726528051216 140726528047768 4438096 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 15367 9497 587 156 0 9009 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61468

[startup+0.700175 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 6243
/proc/meminfo: memFree=32109348/32770624 swapFree=5828/120676
[pid=6243] ppid=6240 vsize=62260 CPUtime=0.69 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 9930 0 0 0 68 1 0 0 20 0 1 0 2237670 63754240 9761 33554432000 4194304 4832315 140726528051216 140726528047768 4438096 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 15565 9761 587 156 0 9207 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62260

[startup+1.50017 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 6244
/proc/meminfo: memFree=32072692/32770624 swapFree=5828/120992
[pid=6243] ppid=6240 vsize=62920 CPUtime=1.49 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 10087 0 0 0 148 1 0 0 20 0 1 0 2237670 64430080 9893 33554432000 4194304 4832315 140726528051216 140726528047768 4438096 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 15730 9893 587 156 0 9372 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 62920

[startup+3.10021 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 6244
/proc/meminfo: memFree=32071204/32770624 swapFree=5828/120992
[pid=6243] ppid=6240 vsize=92724 CPUtime=3.09 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 20625 0 0 0 306 3 0 0 20 0 1 0 2237670 94949376 17201 33554432000 4194304 4832315 140726528051216 140726528048936 4362039 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 23181 17201 601 156 0 16823 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 92724

[startup+6.30018 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 6244
/proc/meminfo: memFree=32041736/32770624 swapFree=5828/120700
[pid=6243] ppid=6240 vsize=92724 CPUtime=6.28 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 21510 0 0 0 625 3 0 0 20 0 1 0 2237670 94949376 17229 33554432000 4194304 4832315 140726528051216 140726528048936 4362013 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 23181 17229 601 156 0 16823 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 92724

[startup+12.7002 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 6244
/proc/meminfo: memFree=32041444/32770624 swapFree=5828/120712
[pid=6243] ppid=6240 vsize=93120 CPUtime=12.69 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 22875 0 0 0 1265 4 0 0 20 0 1 0 2237670 95354880 17327 33554432000 4194304 4832315 140726528051216 140726528048936 4342404 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 23280 17327 602 156 0 16922 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 93120

[startup+25.5002 s]
/proc/loadavg: 2.02 2.02 2.05 3/183 6252
/proc/meminfo: memFree=32039172/32770624 swapFree=5828/120724
[pid=6243] ppid=6240 vsize=93908 CPUtime=25.48 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 25358 0 0 0 2544 4 0 0 20 0 1 0 2237670 96161792 17537 33554432000 4194304 4832315 140726528051216 140726528048936 140152497480227 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 23477 17537 602 156 0 17119 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 93908

[startup+51.1002 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 6252
/proc/meminfo: memFree=32038496/32770624 swapFree=5828/120748
[pid=6243] ppid=6240 vsize=94964 CPUtime=51.08 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 26256 0 0 0 5104 4 0 0 20 0 1 0 2237670 97243136 17785 33554432000 4194304 4832315 140726528051216 140726528048936 4342317 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 23741 17785 602 156 0 17383 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 94964

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 6253
/proc/meminfo: memFree=32038264/32770624 swapFree=5828/120780
[pid=6243] ppid=6240 vsize=95624 CPUtime=102.28 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 27066 0 0 0 10223 5 0 0 20 0 1 0 2237670 97918976 17950 33554432000 4194304 4832315 140726528051216 140726528048936 4362028 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 23906 17950 602 156 0 17548 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 95624

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 6254
/proc/meminfo: memFree=32037828/32770624 swapFree=5828/120800
[pid=6243] ppid=6240 vsize=95756 CPUtime=162.28 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 27662 0 0 0 16222 6 0 0 20 0 1 0 2237670 98054144 18004 33554432000 4194304 4832315 140726528051216 140726528048936 4359160 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 23939 18004 602 156 0 17581 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 95756

[startup+222.306 s]
/proc/loadavg: 2.03 2.03 2.05 3/183 6255
/proc/meminfo: memFree=32037952/32770624 swapFree=5828/120832
[pid=6243] ppid=6240 vsize=95888 CPUtime=222.29 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 28209 0 0 0 22223 6 0 0 20 0 1 0 2237670 98189312 18024 33554432000 4194304 4832315 140726528051216 140726528048936 4362028 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 23972 18024 602 156 0 17614 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 95888

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 6256
/proc/meminfo: memFree=32038084/32770624 swapFree=5828/120848
[pid=6243] ppid=6240 vsize=96020 CPUtime=282.28 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 28757 0 0 0 28221 7 0 0 20 0 1 0 2237670 98324480 18051 33554432000 4194304 4832315 140726528051216 140726528048936 4362028 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 24005 18051 602 156 0 17647 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 96020

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6257
/proc/meminfo: memFree=32037356/32770624 swapFree=5828/120868
[pid=6243] ppid=6240 vsize=96284 CPUtime=342.27 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 29349 0 0 0 34220 7 0 0 20 0 1 0 2237670 98594816 18121 33554432000 4194304 4832315 140726528051216 140726528048936 4362028 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 24071 18121 602 156 0 17713 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 96284

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6258
/proc/meminfo: memFree=32037852/32770624 swapFree=5828/120892
[pid=6243] ppid=6240 vsize=96284 CPUtime=402.28 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 29867 0 0 0 40220 8 0 0 20 0 1 0 2237670 98594816 18127 33554432000 4194304 4832315 140726528051216 140726528048936 4362032 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 24071 18127 602 156 0 17713 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 96284

[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 6259
/proc/meminfo: memFree=32037740/32770624 swapFree=5828/120912
[pid=6243] ppid=6240 vsize=96284 CPUtime=462.28 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 30388 0 0 0 46219 9 0 0 20 0 1 0 2237670 98594816 18128 33554432000 4194304 4832315 140726528051216 140726528048936 4362032 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 24071 18128 602 156 0 17713 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 96284

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6260
/proc/meminfo: memFree=32037740/32770624 swapFree=5828/120940
[pid=6243] ppid=6240 vsize=96284 CPUtime=522.27 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 30915 0 0 0 52218 9 0 0 20 0 1 0 2237670 98594816 18135 33554432000 4194304 4832315 140726528051216 140726528048936 4362028 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 24071 18135 602 156 0 17713 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 96284

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 6261
/proc/meminfo: memFree=32037896/32770624 swapFree=5828/120960
[pid=6243] ppid=6240 vsize=96284 CPUtime=582.27 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 31433 0 0 0 58217 10 0 0 20 0 1 0 2237670 98594816 18139 33554432000 4194304 4832315 140726528051216 140726528048936 4362039 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 24071 18139 602 156 0 17713 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 96284


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


[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 6355
/proc/meminfo: memFree=32034204/32770624 swapFree=5828/121416
[pid=6243] ppid=6240 vsize=96548 CPUtime=1542.25 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 39259 0 0 0 154205 20 0 0 20 0 1 0 2237670 98865152 18201 33554432000 4194304 4832315 140726528051216 140726528048936 4362025 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 24137 18201 602 156 0 17779 0
Current children cumulated CPU time (s) 1542.25
Current children cumulated vsize (KiB) 96548

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/182 6356
/proc/meminfo: memFree=32034452/32770624 swapFree=5828/121436
[pid=6243] ppid=6240 vsize=96548 CPUtime=1602.25 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 39680 0 0 0 160204 21 0 0 20 0 1 0 2237670 98865152 18202 33554432000 4194304 4832315 140726528051216 140726528048936 4362032 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 24137 18202 602 156 0 17779 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 96548

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 6357
/proc/meminfo: memFree=32035336/32770624 swapFree=5828/121460
[pid=6243] ppid=6240 vsize=96548 CPUtime=1662.24 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 40138 0 0 0 166203 21 0 0 20 0 1 0 2237670 98865152 18202 33554432000 4194304 4832315 140726528051216 140726528048936 4362013 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 24137 18202 602 156 0 17779 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 96548

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 6359
/proc/meminfo: memFree=32034452/32770624 swapFree=5828/121488
[pid=6243] ppid=6240 vsize=96548 CPUtime=1722.25 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 40667 0 0 0 172203 22 0 0 20 0 1 0 2237670 98865152 18202 33554432000 4194304 4832315 140726528051216 140726528048936 4342259 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 24137 18202 602 156 0 17779 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 96548

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6360
/proc/meminfo: memFree=32034328/32770624 swapFree=5828/121508
[pid=6243] ppid=6240 vsize=96548 CPUtime=1782.24 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 41119 0 0 0 178202 22 0 0 20 0 1 0 2237670 98865152 18205 33554432000 4194304 4832315 140726528051216 140726528048936 4342208 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 24137 18205 602 156 0 17779 0
Current children cumulated CPU time (s) 1782.24
Current children cumulated vsize (KiB) 96548

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6368
/proc/meminfo: memFree=32033708/32770624 swapFree=5828/121536
[pid=6243] ppid=6240 vsize=96548 CPUtime=1842.24 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 41546 0 0 0 184200 24 0 0 20 0 1 0 2237670 98865152 18205 33554432000 4194304 4832315 140726528051216 140726528048936 4362028 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 24137 18205 602 156 0 17779 0
Current children cumulated CPU time (s) 1842.24
Current children cumulated vsize (KiB) 96548

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6369
/proc/meminfo: memFree=32034080/32770624 swapFree=5828/121556
[pid=6243] ppid=6240 vsize=96548 CPUtime=1902.24 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 42090 0 0 0 190199 25 0 0 20 0 1 0 2237670 98865152 18211 33554432000 4194304 4832315 140726528051216 140726528048936 4362028 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 24137 18211 602 156 0 17779 0
Current children cumulated CPU time (s) 1902.24
Current children cumulated vsize (KiB) 96548

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6370
/proc/meminfo: memFree=32034328/32770624 swapFree=5828/121576
[pid=6243] ppid=6240 vsize=96548 CPUtime=1962.24 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 42552 0 0 0 196199 25 0 0 20 0 1 0 2237670 98865152 18211 33554432000 4194304 4832315 140726528051216 140726528048936 4362025 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 24137 18211 602 156 0 17779 0
Current children cumulated CPU time (s) 1962.24
Current children cumulated vsize (KiB) 96548

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6371
/proc/meminfo: memFree=32034452/32770624 swapFree=5828/121608
[pid=6243] ppid=6240 vsize=96548 CPUtime=2022.24 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 42973 0 0 0 202198 26 0 0 20 0 1 0 2237670 98865152 18211 33554432000 4194304 4832315 140726528051216 140726528048936 4362028 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 24137 18211 602 156 0 17779 0
Current children cumulated CPU time (s) 2022.24
Current children cumulated vsize (KiB) 96548

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6372
/proc/meminfo: memFree=32034700/32770624 swapFree=5828/121628
[pid=6243] ppid=6240 vsize=96548 CPUtime=2082.24 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 43527 0 0 0 208197 27 0 0 20 0 1 0 2237670 98865152 18215 33554432000 4194304 4832315 140726528051216 140726528048936 4359144 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 24137 18215 602 156 0 17779 0
Current children cumulated CPU time (s) 2082.24
Current children cumulated vsize (KiB) 96548

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 6373
/proc/meminfo: memFree=32034608/32770624 swapFree=5828/121648
[pid=6243] ppid=6240 vsize=96548 CPUtime=2142.23 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 43949 0 0 0 214196 27 0 0 20 0 1 0 2237670 98865152 18215 33554432000 4194304 4832315 140726528051216 140726528048936 4362028 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 24137 18215 602 156 0 17779 0
Current children cumulated CPU time (s) 2142.23
Current children cumulated vsize (KiB) 96548

[startup+2202.31 s]
/proc/loadavg: 2.09 2.04 2.05 3/182 6374
/proc/meminfo: memFree=32034484/32770624 swapFree=5828/121668
[pid=6243] ppid=6240 vsize=96548 CPUtime=2202.24 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 44400 0 0 0 220196 28 0 0 20 0 1 0 2237670 98865152 18215 33554432000 4194304 4832315 140726528051216 140726528048936 4362028 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 24137 18215 602 156 0 17779 0
Current children cumulated CPU time (s) 2202.24
Current children cumulated vsize (KiB) 96548

[startup+2262.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 6375
/proc/meminfo: memFree=32034484/32770624 swapFree=5828/121688
[pid=6243] ppid=6240 vsize=96680 CPUtime=2262.24 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 44932 0 0 0 226195 29 0 0 20 0 1 0 2237670 99000320 18217 33554432000 4194304 4832315 140726528051216 140726528048936 4362032 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 24170 18217 602 156 0 17812 0
Current children cumulated CPU time (s) 2262.24
Current children cumulated vsize (KiB) 96680

[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 6376
/proc/meminfo: memFree=32034720/32770624 swapFree=5828/121712
[pid=6243] ppid=6240 vsize=96680 CPUtime=2322.23 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 45395 0 0 0 232194 29 0 0 20 0 1 0 2237670 99000320 18225 33554432000 4194304 4832315 140726528051216 140726528048936 4362025 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 24170 18225 602 156 0 17812 0
Current children cumulated CPU time (s) 2322.23
Current children cumulated vsize (KiB) 96680

[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 6377
/proc/meminfo: memFree=32034352/32770624 swapFree=5828/121736
[pid=6243] ppid=6240 vsize=96680 CPUtime=2382.22 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 45819 0 0 0 238192 30 0 0 20 0 1 0 2237670 99000320 18225 33554432000 4194304 4832315 140726528051216 140726528048936 4362009 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 24170 18225 602 156 0 17812 0
Current children cumulated CPU time (s) 2382.22
Current children cumulated vsize (KiB) 96680



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.1 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 6377
/proc/meminfo: memFree=32034356/32770624 swapFree=5828/121744
[pid=6243] ppid=6240 vsize=63580 CPUtime=2400.03 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 46689 0 0 0 239972 31 0 0 20 0 1 0 2237670 65105920 10137 33554432000 4194304 4832315 140726528051216 140726528048936 4277132 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 15895 10137 609 156 0 9537 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 63580

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

[startup+2400.1 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 6377
/proc/meminfo: memFree=32034356/32770624 swapFree=5828/121744
[pid=6243] ppid=6240 vsize=63580 CPUtime=2400.03 cores=0,2,4,6
/proc/6243/stat : 6243 (miniBTD) R 6240 6243 3471 0 -1 4202496 46689 0 0 0 239972 31 0 0 20 0 1 0 2237670 65105920 10137 33554432000 4194304 4832315 140726528051216 140726528048936 4277132 0 0 4096 0 0 0 0 17 0 0 0 0 0 0 6932504 6936608 25600000 140726528054514 140726528054594 140726528054594 140726528057293 0
/proc/6243/statm: 15895 10137 609 156 0 9537 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 63580

Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.1
CPU time (s): 2400.04
CPU user time (s): 2399.73
CPU system time (s): 0.312992
CPU usage (%): 99.9975
Max. virtual memory (cumulated for all children) (KiB): 96680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.73
system time used= 0.312992
maximum resident set size= 72900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46689
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= 17
involuntary context switches= 2709

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.48709 second user time and 8.24204 second system time

The end

Launcher Data 

Begin job on node104 at 2017-07-24 22:09:40
IDJOB=4252186
IDBENCH=124367
IDSOLVER=2632
FILE ID=node104/4252186-1500926980
RUNJOBID= node104-1500914928-3502
PBS_JOBID= 20625418
Free space on /tmp= 61892 MiB

SOLVER NAME= miniBTD 2017-06-30
BENCH NAME= XCSP17/Langford/Langford-m2-s1/LangfordBin-90.xml
COMMAND LINE= miniBTD TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4252186-1500926980/watcher-4252186-1500926980 -o /tmp/evaluation-result-4252186-1500926980/solver-4252186-1500926980 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500914928-3502 --watchdog 2560  miniBTD 2400 HOME/instance-4252186-1500926980.xml

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

MD5SUM BENCH= 2a5b3790b47e1c2f5ad8b085143681cb
RANDOM SEED=1119137023

node104.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.30
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.30
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.30
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.30
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:        32110512 kB
MemAvailable:   32065796 kB
Buffers:           35156 kB
Cached:           234848 kB
SwapCached:            0 kB
Active:           183252 kB
Inactive:         129268 kB
Active(anon):      45556 kB
Inactive(anon):     8592 kB
Active(file):     137696 kB
Inactive(file):   120676 kB
Unevictable:        5828 kB
Mlocked:            5828 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7208 kB
Writeback:             0 kB
AnonPages:         47924 kB
Mapped:            28340 kB
Shmem:              8848 kB
Slab:              49544 kB
SReclaimable:      25496 kB
SUnreclaim:        24048 kB
KernelStack:        3248 kB
PageTables:         4496 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     283968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 61884 MiB
End job on node104 at 2017-07-24 22:49:40