Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco-sat 1.12 | UNSAT | 1.40056 | 1.48875 |
Name | RenaultMod/RenaultMod-m1-s1/ RenaultMod-18.xml |
MD5SUM | 53ac35e1f72f4fcc516f402364f3be2c |
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.59745699 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 111 |
Number of constraints | 260 |
Number of domains | 1 |
Minimum domain size | 42 |
Maximum domain size | 42 |
Distribution of domain sizes | [{"size":42,"count":111}] |
Minimum variable degree | 2 |
Maximum variable degree | 82 |
Distribution of variable degrees | [{"degree":2,"count":43},{"degree":3,"count":22},{"degree":4,"count":18},{"degree":5,"count":9},{"degree":6,"count":7},{"degree":7,"count":1},{"degree":8,"count":1},{"degree":10,"count":1},{"degree":11,"count":1},{"degree":19,"count":1},{"degree":32,"count":1},{"degree":38,"count":1},{"degree":56,"count":2},{"degree":59,"count":1},{"degree":73,"count":1},{"degree":82,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 10 |
Distribution of constraint arities | [{"arity":1,"count":111},{"arity":2,"count":42},{"arity":3,"count":19},{"arity":4,"count":20},{"arity":5,"count":9},{"arity":6,"count":38},{"arity":7,"count":14},{"arity":8,"count":5},{"arity":9,"count":1},{"arity":10,"count":1}] |
Number of extensional constraints | 149 |
Number of intensional constraints | 111 |
Distribution of constraint types | [{"type":"extension","count":149},{"type":"intension","count":111}] |
Optimization problem | NO |
Type of objective |
1.30/1.45 c SAT : Variables: 4662 -- Clauses: 95682 1.30/1.46 c root propagations : 4136 1.30/1.46 c restarts enabled, print stats at every restarts 1.30/1.46 c 1.30/1.46 c 1.30/1.46 c 1.30/1.46 c This is cosoco 1.12 -- 1.30/1.46 c 1.30/1.46 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266338-1502591742.xml 1.30/1.46 c ========================================[ Problem Statistics ]=========================================== 1.30/1.46 c | 1.30/1.46 c | Parse time : 1.36 s 1.30/1.46 c | 1.30/1.46 c | Variables: 111 1.30/1.46 c | Domain Sizes: 42..42 1.30/1.46 c | 1.30/1.46 c | Constraints: 260 1.30/1.46 c | Arity: 1..10 -- Unary: 111 -- Binary: 42 -- Ternary: 19 1.30/1.46 c | 1.30/1.46 c | Types: 1.30/1.46 c | Extension: 149 (nb tuples: 3..48721) -- (shared: 15) 1.30/1.46 c | Intension: 111 1.30/1.46 c | 1.30/1.46 c ========================================================================================================= 1.30/1.46 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 1.30/1.48 c 10 114 2396 5151 110 6 103 104 93 1.30/1.48 c 20 126 2621 5498 110 8 2 2 1 1.30/1.48 c 30 143 3005 5962 110 9 2 5 2 1.30/1.48 c 40 155 3358 6448 110 10 2 2 1 1.30/1.48 c 50 170 3800 6989 110 13 2 3 1 1.30/1.48 c 60 183 4202 7484 110 20 1 2 1 1.30/1.48 c restarts : 6 1.30/1.48 c conflicts : 61 (44 /sec) 1.30/1.48 c decisions : 185 (133 /sec) 1.30/1.48 c propagations : 7562 (5450 /sec) 1.30/1.48 c root propagations : 4136 1.30/1.48 c filter calls : 4254 (3066 /sec) 1.30/1.48 c useless filter calls : 3183 (74 %) 1.30/1.48 c 1.30/1.48 c clauses : 95691 1.30/1.48 c SAT propagations : 2 1.30/1.48 c SAT conflicts : 0 (0 learnts) 1.30/1.48 c Memory used : 47.54 MB 1.30/1.48 c CPU time : 1.38749 s 1.30/1.48 1.30/1.48 s UNSATISFIABLE
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL 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. NUMA information: number of nodes: 2 memory of node 0: 16374 MiB (15090 MiB free) memory of node 1: 16384 MiB (15171 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266338-1502591742/watcher-4266338-1502591742 -o /tmp/evaluation-result-4266338-1502591742/solver-4266338-1502591742 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502565212-12458 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266338-1502591742.xml 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 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=17143, runsolver pid=17140 Current StackSize limit: 8192 KiB [startup+0.100197 s]* /proc/loadavg: 1.85 1.98 2.03 3/185 17144 /proc/meminfo: memFree=30987464/32770624 swapFree=67108860/67108860 [pid=17143] ppid=17140 vsize=27128 memory=3592 CPUtime=0.01 cores=0,2,4,6 /proc/17143/stat : 17143 (cosoco) R 17140 17143 12395 0 -1 4202496 1071 0 0 0 1 0 0 0 20 0 1 0 101085524 27779072 898 18446744073709551615 4194304 5972588 140723591355472 140723591352120 140194346684631 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 13565952 140723591360964 140723591361064 140723591361064 140723591364558 0 /proc/17143/statm: 6782 898 783 435 0 145 0 Current children cumulated CPU time: 0.01 s Current children cumulated vsize: 27128 KiB Current children cumulated memory: 3592 KiB [startup+0.20952 s]* /proc/loadavg: 1.85 1.98 2.03 3/185 17144 /proc/meminfo: memFree=30987224/32770624 swapFree=67108860/67108860 [pid=17143] ppid=17140 vsize=27764 memory=4072 CPUtime=0.12 cores=0,2,4,6 /proc/17143/stat : 17143 (cosoco) R 17140 17143 12395 0 -1 4202496 1220 0 0 0 12 0 0 0 20 0 1 0 101085524 28430336 1018 18446744073709551615 4194304 5972588 140723591355472 140723591352120 140194345810475 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 13565952 140723591360964 140723591361064 140723591361064 140723591364558 0 /proc/17143/statm: 6941 1018 791 435 0 304 0 Current children cumulated CPU time: 0.12 s Current children cumulated vsize: 27764 KiB Current children cumulated memory: 4072 KiB [startup+0.309205 s]* /proc/loadavg: 1.85 1.98 2.03 3/185 17144 /proc/meminfo: memFree=30985392/32770624 swapFree=67108860/67108860 [pid=17143] ppid=17140 vsize=28964 memory=5388 CPUtime=0.22 cores=0,2,4,6 /proc/17143/stat : 17143 (cosoco) R 17140 17143 12395 0 -1 4202496 1627 0 0 0 22 0 0 0 20 0 1 0 101085524 29659136 1347 18446744073709551615 4194304 5972588 140723591355472 140723591352120 5385816 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 13565952 140723591360964 140723591361064 140723591361064 140723591364558 0 /proc/17143/statm: 7241 1347 791 435 0 604 0 Current children cumulated CPU time: 0.22 s Current children cumulated vsize: 28964 KiB Current children cumulated memory: 5388 KiB [startup+0.700342 s] /proc/loadavg: 1.85 1.98 2.03 3/185 17144 /proc/meminfo: memFree=30983656/32770624 swapFree=67108860/67108860 [pid=17143] ppid=17140 vsize=33032 memory=8652 CPUtime=0.6 cores=0,2,4,6 /proc/17143/stat : 17143 (cosoco) R 17140 17143 12395 0 -1 4202496 2682 0 0 0 60 0 0 0 20 0 1 0 101085524 33824768 2163 18446744073709551615 4194304 5972588 140723591355472 140723591352040 140194346179584 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 13565952 140723591360964 140723591361064 140723591361064 140723591364558 0 /proc/17143/statm: 8258 2163 792 435 0 1621 0 Current children cumulated CPU time: 0.6 s Current children cumulated vsize: 33032 KiB Current children cumulated memory: 8652 KiB [startup+1.4887 s] # the end of solver process 17143 was just reported to runsolver # cumulated CPU time of all completed processes: user=1.38756 s, system=0.013 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+0.800383 s] /proc/loadavg: 1.85 1.98 2.03 3/185 17144 /proc/meminfo: memFree=30983656/32770624 swapFree=67108860/67108860 [pid=17143] ppid=17140 vsize=36580 memory=12876 CPUtime=0.7 cores=0,2,4,6 /proc/17143/stat : 17143 (cosoco) R 17140 17143 12395 0 -1 4202496 3960 0 0 0 70 0 0 0 20 0 1 0 101085524 37457920 3219 18446744073709551615 4194304 5972588 140723591355472 140723591352040 5669624 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 13565952 140723591360964 140723591361064 140723591361064 140723591364558 0 /proc/17143/statm: 9145 3219 792 435 0 2508 0 Current children cumulated CPU time: 0.7 s Current children cumulated vsize: 36580 KiB Current children cumulated memory: 12876 KiB [startup+1.20032 s] /proc/loadavg: 1.85 1.98 2.03 3/185 17144 /proc/meminfo: memFree=30975028/32770624 swapFree=67108860/67108860 [pid=17143] ppid=17140 vsize=38956 memory=14984 CPUtime=1.1 cores=0,2,4,6 /proc/17143/stat : 17143 (cosoco) R 17140 17143 12395 0 -1 4202496 4538 0 0 0 110 0 0 0 20 0 1 0 101085524 39890944 3746 18446744073709551615 4194304 5972588 140723591355472 140723591352040 5351594 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 13565952 140723591360964 140723591361064 140723591361064 140723591364558 0 /proc/17143/statm: 9739 3746 792 435 0 3102 0 Current children cumulated CPU time: 1.1 s Current children cumulated vsize: 38956 KiB Current children cumulated memory: 14984 KiB [startup+1.40035 s] /proc/loadavg: 1.85 1.98 2.03 3/185 17144 /proc/meminfo: memFree=30975028/32770624 swapFree=67108860/67108860 [pid=17143] ppid=17140 vsize=42644 memory=17888 CPUtime=1.3 cores=0,2,4,6 /proc/17143/stat : 17143 (cosoco) R 17140 17143 12395 0 -1 4202496 5276 0 0 0 130 0 0 0 20 0 1 0 101085524 43667456 4472 18446744073709551615 4194304 5972588 140723591355472 140723591352040 5676048 0 0 1 0 0 0 0 17 4 0 0 8 0 0 8070896 8075904 13565952 140723591360964 140723591361064 140723591361064 140723591364558 0 /proc/17143/statm: 10661 4472 792 435 0 4024 0 Current children cumulated CPU time: 1.3 s Current children cumulated vsize: 42644 KiB Current children cumulated memory: 17888 KiB Child status: 0 Real time (s): 1.48875 CPU time (s): 1.40056 CPU user time (s): 1.38756 CPU system time (s): 0.013 CPU usage (%): 94.0766 Max. virtual memory (cumulated for all children) (KiB): 42644 Max. memory (cumulated for all children) (KiB): 17888 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1.38756 system time used= 0.013 maximum resident set size= 23064 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5997 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= 3 # summary of solver processes directly reported to runsolver: # pid: 17143 # total CPU time (s): 1.40056 # total CPU user time (s): 1.38756 # total CPU system time (s): 0.013 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.025017 second user time and 0.052986 second system time The end
Begin job on node135 at 2017-08-13 04:21:49 IDJOB=4266338 IDBENCH=139320 IDSOLVER=2655 FILE ID=node135/4266338-1502591742 RUNJOBID= node135-1502565212-12458 PBS_JOBID= Free space on /tmp= 62024 MiB SOLVER NAME= cosoco-sat 1.12 BENCH NAME= XCSP17/RenaultMod/RenaultMod-m1-s1/RenaultMod-18.xml COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266338-1502591742/watcher-4266338-1502591742 -o /tmp/evaluation-result-4266338-1502591742/solver-4266338-1502591742 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502565212-12458 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266338-1502591742.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 53ac35e1f72f4fcc516f402364f3be2c RANDOM SEED=2056012699 node135.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.21 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.21 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.21 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.21 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: 30987464 kB MemAvailable: 31848628 kB Buffers: 308708 kB Cached: 850844 kB SwapCached: 0 kB Active: 802388 kB Inactive: 538164 kB Active(anon): 181256 kB Inactive(anon): 41332 kB Active(file): 621132 kB Inactive(file): 496832 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 5368 kB Writeback: 0 kB AnonPages: 180420 kB Mapped: 55696 kB Shmem: 41656 kB Slab: 145460 kB SReclaimable: 118068 kB SUnreclaim: 27392 kB KernelStack: 3312 kB PageTables: 5196 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 467952 kB VmallocTotal: 34359738367 kB VmallocUsed: 354332 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 124928 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 122240 kB DirectMap2M: 33423360 kB Free space on /tmp at the end= 62024 MiB End job on node135 at 2017-08-13 04:21:50