Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Mistral-2.0 2017-07-28 | UNSAT | 2.4569499 | 2.54954 |
Name | Rlfap/Rlfap-m1-scens/ Rlfap-scen-06.xml |
MD5SUM | 7a29983c9ff052f95c6899aeb5034357 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.820391 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 200 |
Number of constraints | 1322 |
Number of domains | 3 |
Minimum domain size | 22 |
Maximum domain size | 44 |
Distribution of domain sizes | [{"size":22,"count":2},{"size":36,"count":92},{"size":44,"count":106}] |
Minimum variable degree | 1 |
Maximum variable degree | 44 |
Distribution of variable degrees | [{"degree":1,"count":4},{"degree":2,"count":3},{"degree":3,"count":9},{"degree":4,"count":5},{"degree":5,"count":12},{"degree":6,"count":11},{"degree":7,"count":15},{"degree":8,"count":5},{"degree":9,"count":12},{"degree":10,"count":17},{"degree":11,"count":9},{"degree":12,"count":7},{"degree":13,"count":15},{"degree":14,"count":1},{"degree":15,"count":18},{"degree":17,"count":11},{"degree":19,"count":8},{"degree":20,"count":3},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":23,"count":6},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":27,"count":4},{"degree":28,"count":8},{"degree":30,"count":4},{"degree":35,"count":2},{"degree":36,"count":2},{"degree":39,"count":1},{"degree":44,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":1322}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 1322 |
Distribution of constraint types | [{"type":"intension","count":1322}] |
Optimization problem | NO |
Type of objective |
0.00/0.09 c 280717 2.39/2.54 s UNSATISFIABLE
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-4261604-1502348643/watcher-4261604-1502348643 -o /tmp/evaluation-result-4261604-1502348643/solver-4261604-1502348643 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502331121-20547 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1370052830 HOME/instance-4261604-1502348643.xml pid=22773 running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.05 3/180 22776 /proc/meminfo: memFree=31221776/32770624 swapFree=0/472400 [pid=22776] ppid=22773 vsize=23672 CPUtime=0 cores=0,2,4,6 /proc/22776/stat : 22776 (runsolver) D 22773 22776 4057 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 37085134 24240128 108 18446744073709551615 4194304 4338465 140726862654768 140726862652408 139790634263255 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 13639680 140726862663819 140726862664266 140726862664266 140726862667722 0 /proc/22776/statm: 5918 108 54 36 0 2156 0 [startup+0.104257 s] /proc/loadavg: 2.00 2.01 2.05 3/180 22776 /proc/meminfo: memFree=31221776/32770624 swapFree=0/472400 [pid=22776] ppid=22773 vsize=29456 CPUtime=0.01 cores=0,2,4,6 /proc/22776/stat : 22776 (MistralXCSP) R 22773 22776 4057 0 -1 4202496 1225 0 0 0 1 0 0 0 20 0 1 0 37085134 30162944 1045 18446744073709551615 4194304 7396336 140728872918080 140728872909448 6164287 0 0 1 0 0 0 0 17 6 0 0 9 0 0 9496464 9501696 29708288 140728872919475 140728872919625 140728872919625 140728872923081 0 /proc/22776/statm: 7364 1045 700 782 0 380 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 29456 [startup+0.200294 s] /proc/loadavg: 2.00 2.01 2.05 3/180 22776 /proc/meminfo: memFree=31221776/32770624 swapFree=0/472400 [pid=22776] ppid=22773 vsize=29616 CPUtime=0.1 cores=0,2,4,6 /proc/22776/stat : 22776 (MistralXCSP) R 22773 22776 4057 0 -1 4202496 1281 0 0 0 10 0 0 0 20 0 1 0 37085134 30326784 1111 18446744073709551615 4194304 7396336 140728872918080 140728872907944 6200424 0 0 1 0 0 0 0 17 6 0 0 9 0 0 9496464 9501696 29708288 140728872919475 140728872919625 140728872919625 140728872923081 0 /proc/22776/statm: 7404 1111 720 782 0 420 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 29616 [startup+0.300297 s] /proc/loadavg: 2.00 2.01 2.05 3/180 22776 /proc/meminfo: memFree=31221776/32770624 swapFree=0/472400 [pid=22776] ppid=22773 vsize=30004 CPUtime=0.2 cores=0,2,4,6 /proc/22776/stat : 22776 (MistralXCSP) R 22773 22776 4057 0 -1 4202496 1362 0 0 0 20 0 0 0 20 0 1 0 37085134 30724096 1196 18446744073709551615 4194304 7396336 140728872918080 140728872909448 6064230 0 0 1 0 0 0 0 17 6 0 0 9 0 0 9496464 9501696 29708288 140728872919475 140728872919625 140728872919625 140728872923081 0 /proc/22776/statm: 7501 1196 722 782 0 517 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 30004 [startup+0.700157 s] /proc/loadavg: 2.00 2.01 2.05 3/180 22776 /proc/meminfo: memFree=31221776/32770624 swapFree=0/472400 [pid=22776] ppid=22773 vsize=31116 CPUtime=0.6 cores=0,2,4,6 /proc/22776/stat : 22776 (MistralXCSP) R 22773 22776 4057 0 -1 4202496 1627 0 0 0 60 0 0 0 20 0 1 0 37085134 31862784 1459 18446744073709551615 4194304 7396336 140728872918080 140728872908808 5920161 0 0 1 0 0 0 0 17 0 0 0 9 0 0 9496464 9501696 29708288 140728872919475 140728872919625 140728872919625 140728872923081 0 /proc/22776/statm: 7779 1459 722 782 0 795 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 31116 [startup+1.50017 s] /proc/loadavg: 2.00 2.01 2.05 3/181 22777 /proc/meminfo: memFree=31218500/32770624 swapFree=0/472416 [pid=22776] ppid=22773 vsize=32504 CPUtime=1.4 cores=0,2,4,6 /proc/22776/stat : 22776 (MistralXCSP) R 22773 22776 4057 0 -1 4202496 1993 0 0 0 140 0 0 0 20 0 1 0 37085134 33284096 1791 18446744073709551615 4194304 7396336 140728872918080 140728872908968 6112099 0 0 1 0 0 0 0 17 0 0 0 9 0 0 9496464 9501696 29708288 140728872919475 140728872919625 140728872919625 140728872923081 0 /proc/22776/statm: 8126 1791 722 782 0 1142 0 Current children cumulated CPU time (s) 1.4 Current children cumulated vsize (KiB) 32504 Solver just ended. ??? exit watcher main loop ??? sigkill at end of watcher main loop ??? kill 22776 sig 9 ??? end of watcher thread Dumping a history of the last processes samples [startup+1.60023 s] /proc/loadavg: 2.00 2.01 2.05 3/181 22777 /proc/meminfo: memFree=31218500/32770624 swapFree=0/472416 [pid=22776] ppid=22773 vsize=32784 CPUtime=1.5 cores=0,2,4,6 /proc/22776/stat : 22776 (MistralXCSP) R 22773 22776 4057 0 -1 4202496 2064 0 0 0 150 0 0 0 20 0 1 0 37085134 33570816 1891 18446744073709551615 4194304 7396336 140728872918080 140728872908968 6035911 0 0 1 0 0 0 0 17 0 0 0 9 0 0 9496464 9501696 29708288 140728872919475 140728872919625 140728872919625 140728872923081 0 /proc/22776/statm: 8196 1891 722 782 0 1212 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 32784 [startup+2.00017 s] /proc/loadavg: 2.00 2.01 2.05 3/181 22777 /proc/meminfo: memFree=31218500/32770624 swapFree=0/472416 [pid=22776] ppid=22773 vsize=34512 CPUtime=1.9 cores=0,2,4,6 /proc/22776/stat : 22776 (MistralXCSP) R 22773 22776 4057 0 -1 4202496 2534 0 0 0 190 0 0 0 20 0 1 0 37085134 35340288 2333 18446744073709551615 4194304 7396336 140728872918080 140728872908968 6207378 0 0 1 0 0 0 0 17 0 0 0 9 0 0 9496464 9501696 29708288 140728872919475 140728872919625 140728872919625 140728872923081 0 /proc/22776/statm: 8628 2333 722 782 0 1644 0 Current children cumulated CPU time (s) 1.9 Current children cumulated vsize (KiB) 34512 [startup+2.40021 s] /proc/loadavg: 2.00 2.01 2.05 4/184 22791 /proc/meminfo: memFree=31212068/32770624 swapFree=0/472428 [pid=22776] ppid=22773 vsize=34512 CPUtime=2.29 cores=0,2,4,6 /proc/22776/stat : 22776 (MistralXCSP) R 22773 22776 4057 0 -1 4202496 2538 0 0 0 229 0 0 0 20 0 1 0 37085134 35340288 2333 18446744073709551615 4194304 7396336 140728872918080 140728872908408 6015912 0 0 1 0 0 0 0 17 0 0 0 9 0 0 9496464 9501696 29708288 140728872919475 140728872919625 140728872919625 140728872923081 0 /proc/22776/statm: 8628 2333 722 782 0 1644 0 Current children cumulated CPU time (s) 2.29 Current children cumulated vsize (KiB) 34512 [startup+2.50024 s] /proc/loadavg: 2.00 2.01 2.05 4/184 22791 /proc/meminfo: memFree=31212068/32770624 swapFree=0/472428 [pid=22776] ppid=22773 vsize=34652 CPUtime=2.39 cores=0,2,4,6 /proc/22776/stat : 22776 (MistralXCSP) R 22773 22776 4057 0 -1 4202496 2584 0 0 0 239 0 0 0 20 0 1 0 37085134 35483648 2333 18446744073709551615 4194304 7396336 140728872918080 140728872908408 140405665124570 0 0 1 0 0 0 0 17 0 0 0 9 0 0 9496464 9501696 29708288 140728872919475 140728872919625 140728872919625 140728872923081 0 /proc/22776/statm: 8663 2333 722 782 0 1679 0 Current children cumulated CPU time (s) 2.39 Current children cumulated vsize (KiB) 34652 Child status: 0 Real time (s): 2.54954 CPU time (s): 2.45695 CPU user time (s): 2.43497 CPU system time (s): 0.021981 CPU usage (%): 96.3685 Max. virtual memory (cumulated for all children) (KiB): 34652 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.43497 system time used= 0.021981 maximum resident set size= 28844 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7485 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= 6 involuntary context switches= 28 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.007989 second user time and 0.015281 second system time The end
Begin job on node125 at 2017-08-10 08:49:59 IDJOB=4261604 IDBENCH=120826 IDSOLVER=2649 FILE ID=node125/4261604-1502348643 RUNJOBID= node125-1502331121-20547 PBS_JOBID= Free space on /tmp= 62020 MiB SOLVER NAME= Mistral-2.0 2017-07-28 BENCH NAME= XCSP17/Rlfap/Rlfap-m1-scens/Rlfap-scen-06.xml COMMAND LINE= MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed RANDOMSEED BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4261604-1502348643/watcher-4261604-1502348643 -o /tmp/evaluation-result-4261604-1502348643/solver-4261604-1502348643 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502331121-20547 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1370052830 HOME/instance-4261604-1502348643.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 7a29983c9ff052f95c6899aeb5034357 RANDOM SEED=1370052830 node125.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.07 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.07 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.07 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.07 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: 31222156 kB MemAvailable: 31854004 kB Buffers: 223972 kB Cached: 701036 kB SwapCached: 0 kB Active: 634808 kB Inactive: 497308 kB Active(anon): 207672 kB Inactive(anon): 24908 kB Active(file): 427136 kB Inactive(file): 472400 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5996 kB Writeback: 4 kB AnonPages: 207352 kB Mapped: 40080 kB Shmem: 25252 kB Slab: 121024 kB SReclaimable: 96296 kB SUnreclaim: 24728 kB KernelStack: 3216 kB PageTables: 5112 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 469624 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 153600 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 62016 MiB End job on node125 at 2017-08-10 08:50:01