Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
Mistral-2.0 2018-06-15 | ? (MO) | 18.8258 | 18.8345 |
Name | Tal/ Tal-05_c18.xml |
MD5SUM | 0bfba4554f8c52d47ef9f831901bb64c |
Bench Category | COP (optimization problem) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 16 |
Best CPU time to get the best result obtained on this benchmark | 48.3115 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 526 |
Number of constraints | 364 |
Number of domains | 11 |
Minimum domain size | 1 |
Maximum domain size | 42 |
Distribution of domain sizes | [{"size":1,"count":84},{"size":2,"count":4},{"size":3,"count":5},{"size":4,"count":6},{"size":5,"count":7},{"size":6,"count":52},{"size":7,"count":9},{"size":8,"count":10},{"size":10,"count":36},{"size":42,"count":79}] |
Minimum variable degree | 0 |
Maximum variable degree | 14 |
Distribution of variable degrees | [{"degree":0,"count":234},{"degree":1,"count":84},{"degree":2,"count":58},{"degree":3,"count":9},{"degree":4,"count":10},{"degree":5,"count":32},{"degree":6,"count":19},{"degree":7,"count":13},{"degree":8,"count":13},{"degree":9,"count":19},{"degree":10,"count":18},{"degree":11,"count":8},{"degree":12,"count":5},{"degree":13,"count":3},{"degree":14,"count":1}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 11 |
Distribution of constraint arities | [{"arity":1,"count":109},{"arity":2,"count":115},{"arity":3,"count":38},{"arity":4,"count":11},{"arity":5,"count":18},{"arity":6,"count":17},{"arity":7,"count":16},{"arity":8,"count":15},{"arity":9,"count":13},{"arity":10,"count":10},{"arity":11,"count":2}] |
Number of extensional constraints | 64 |
Number of intensional constraints | 286 |
Distribution of constraint types | [{"type":"extension","count":64},{"type":"intension","count":286},{"type":"count","count":14}] |
Optimization problem | YES |
Type of objective | min SUM |
0.00/0.00 c Mistral 16062018
One s line expected
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 (7671 MiB free) memory of node 1: 16384 MiB (10240 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289307-1532192902/watcher-4289307-1532192902 -o /tmp/evaluation-result-4289307-1532192902/solver-4289307-1532192902 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532190500-25137 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 823653071 HOME/instance-4289307-1532192902.xml 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 Linux 3.10.0-514.16.1.el7.x86_64 Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread solver pid=25387, runsolver pid=25384 Current StackSize limit: 8192 KiB [startup+0.100218 s]* /proc/loadavg: 1.92 2.00 1.87 3/187 25388 /proc/meminfo: memFree=18279572/32770624 swapFree=67108860/67108860 [pid=25387] ppid=25384 vsize=97680 memory=72404 CPUtime=0.1 cores=0,2,4,6 /proc/25387/stat : 25387 (MistralXCSP) R 25384 25387 25105 0 -1 4202496 15532 0 0 0 8 2 0 0 20 0 1 0 36853394 100024320 18101 33554432000 4194304 7498468 140727822573424 140727822570424 139910900268005 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 33427456 140727822578798 140727822578947 140727822578947 140727822581705 0 /proc/25387/statm: 24420 18101 750 807 0 17411 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 97680 KiB Current children cumulated memory: 72404 KiB [startup+0.209853 s]* /proc/loadavg: 1.92 2.00 1.87 3/187 25388 /proc/meminfo: memFree=18196728/32770624 swapFree=67108860/67108860 [pid=25387] ppid=25384 vsize=203236 memory=177848 CPUtime=0.21 cores=0,2,4,6 /proc/25387/stat : 25387 (MistralXCSP) R 25384 25387 25105 0 -1 4202496 32870 0 0 0 16 5 0 0 20 0 1 0 36853394 208113664 44462 33554432000 4194304 7498468 140727822573424 140727822570424 139910900268005 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 33427456 140727822578798 140727822578947 140727822578947 140727822581705 0 /proc/25387/statm: 50809 44462 750 807 0 43800 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 203236 KiB Current children cumulated memory: 177848 KiB [startup+0.309857 s]* /proc/loadavg: 1.92 2.00 1.87 3/187 25388 /proc/meminfo: memFree=18103392/32770624 swapFree=67108860/67108860 [pid=25387] ppid=25384 vsize=273592 memory=248336 CPUtime=0.31 cores=0,2,4,6 /proc/25387/stat : 25387 (MistralXCSP) R 25384 25387 25105 0 -1 4202496 50458 0 0 0 24 7 0 0 20 0 1 0 36853394 280158208 62084 33554432000 4194304 7498468 140727822573424 140727822570424 139910900268005 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 33427456 140727822578798 140727822578947 140727822578947 140727822581705 0 /proc/25387/statm: 68398 62084 750 807 0 61389 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 273592 KiB Current children cumulated memory: 248336 KiB [startup+0.700436 s] /proc/loadavg: 1.92 2.00 1.87 3/187 25388 /proc/meminfo: memFree=17962280/32770624 swapFree=67108860/67108860 [pid=25387] ppid=25384 vsize=628412 memory=603024 CPUtime=0.69 cores=0,2,4,6 /proc/25387/stat : 25387 (MistralXCSP) R 25384 25387 25105 0 -1 4202496 111487 0 0 0 54 15 0 0 20 0 1 0 36853394 643493888 150756 33554432000 4194304 7498468 140727822573424 140727822570424 139910900268005 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 33427456 140727822578798 140727822578947 140727822578947 140727822581705 0 /proc/25387/statm: 157103 150756 750 807 0 150094 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 628412 KiB Current children cumulated memory: 603024 KiB [startup+1.50043 s] /proc/loadavg: 1.92 2.00 1.87 3/187 25388 /proc/meminfo: memFree=17528728/32770624 swapFree=67108860/67108860 [pid=25387] ppid=25384 vsize=1193636 memory=1168248 CPUtime=1.49 cores=0,2,4,6 /proc/25387/stat : 25387 (MistralXCSP) R 25384 25387 25105 0 -1 4202496 252799 0 0 0 118 31 0 0 20 0 1 0 36853394 1222283264 292062 33554432000 4194304 7498468 140727822573424 140727822564728 139910900268005 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 33427456 140727822578798 140727822578947 140727822578947 140727822581705 0 /proc/25387/statm: 298409 292062 750 807 0 291400 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 1193636 KiB Current children cumulated memory: 1168248 KiB [startup+3.10977 s] /proc/loadavg: 1.92 2.00 1.87 3/187 25388 /proc/meminfo: memFree=15857668/32770624 swapFree=67108860/67108860 [pid=25387] ppid=25384 vsize=2585316 memory=2560108 CPUtime=3.1 cores=0,2,4,6 /proc/25387/stat : 25387 (MistralXCSP) R 25384 25387 25105 0 -1 4202496 515708 0 0 0 240 70 0 0 20 0 1 0 36853394 2647363584 640027 33554432000 4194304 7498468 140727822573424 140727822564728 139910900268005 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 33427456 140727822578798 140727822578947 140727822578947 140727822581705 0 /proc/25387/statm: 646329 640027 750 807 0 639320 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 2585316 KiB Current children cumulated memory: 2560108 KiB [startup+6.30041 s] /proc/loadavg: 1.93 2.00 1.87 3/187 25449 /proc/meminfo: memFree=13256332/32770624 swapFree=67108860/67108860 [pid=25387] ppid=25384 vsize=5607472 memory=5582232 CPUtime=6.29 cores=0,2,4,6 /proc/25387/stat : 25387 (MistralXCSP) R 25384 25387 25105 0 -1 4202496 1016209 0 0 0 478 151 0 0 20 0 1 0 36853394 5742051328 1395558 33554432000 4194304 7498468 140727822573424 140727822564728 139910900268005 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 33427456 140727822578798 140727822578947 140727822578947 140727822581705 0 /proc/25387/statm: 1401868 1395558 750 807 0 1394859 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 5607472 KiB Current children cumulated memory: 5582232 KiB [startup+12.7004 s] /proc/loadavg: 1.93 2.00 1.87 3/187 25449 /proc/meminfo: memFree=9136444/32770624 swapFree=67108860/67108860 [pid=25387] ppid=25384 vsize=9964396 memory=9939152 CPUtime=12.69 cores=0,2,4,6 /proc/25387/stat : 25387 (MistralXCSP) R 25384 25387 25105 0 -1 4202496 2105818 0 0 0 977 292 0 0 20 0 1 0 36853394 10203541504 2484788 33554432000 4194304 7498468 140727822573424 140727822564728 139910900268005 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 33427456 140727822578798 140727822578947 140727822578947 140727822581705 0 /proc/25387/statm: 2491132 2484788 750 807 0 2484123 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 9964396 KiB Current children cumulated memory: 9939152 KiB Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+18.2004 s] /proc/loadavg: 1.94 2.00 1.87 3/187 25449 /proc/meminfo: memFree=2843092/32770624 swapFree=67108860/67108860 [pid=25387] ppid=25384 vsize=15917772 memory=15892548 CPUtime=18.18 cores=0,2,4,6 /proc/25387/stat : 25387 (MistralXCSP) R 25384 25387 25105 0 -1 4202496 2829166 0 0 0 1336 482 0 0 20 0 1 0 36853394 16299798528 3973137 33554432000 4194304 7498468 140727822573424 140727822564728 139910900268005 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9598848 9604096 33427456 140727822578798 140727822578947 140727822578947 140727822581705 0 /proc/25387/statm: 3979443 3973137 750 807 0 3972434 0 Current children cumulated CPU time: 18.18 s Current children cumulated vsize: 15917772 KiB Current children cumulated memory: 15892548 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+18.8344 s] # the end of solver process 25387 was just reported to runsolver # cumulated CPU time of all completed processes: user=13.3676 s, system=5.45816 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+18.4097 s] /proc/loadavg: 1.94 2.00 1.87 3/187 25449 /proc/meminfo: memFree=4509404/32770624 swapFree=67108860/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB [startup+18.8002 s] /proc/loadavg: 1.94 2.00 1.87 3/187 25449 /proc/meminfo: memFree=4509404/32770624 swapFree=67108860/67108860 Current children cumulated CPU time: 0 s Current children cumulated vsize: 0 KiB Current children cumulated memory: 0 KiB Child ended because it received signal 15 (SIGTERM) Real time (s): 18.8345 CPU time (s): 18.8258 CPU user time (s): 13.3676 CPU system time (s): 5.45816 CPU usage (%): 99.9537 Max. virtual memory (cumulated for all children) (KiB): 15917772 Max. memory (cumulated for all children) (KiB): 15892548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 13.3676 system time used= 5.45816 maximum resident set size= 15892748 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2829201 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= 16 involuntary context switches= 18 # summary of solver processes directly reported to runsolver: # pid: 25387 # total CPU time (s): 18.8258 # total CPU user time (s): 13.3676 # total CPU system time (s): 5.45816 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 0.098414 second user time and 0.175138 second system time The end
Begin job on node139 at 2018-07-21 19:08:22 IDJOB=4289307 IDBENCH=141103 IDSOLVER=2741 FILE ID=node139/4289307-1532192902 RUNJOBID= node139-1532190500-25137 PBS_JOBID= 21018928 Free space on /tmp= 45916 MiB SOLVER NAME= Mistral-2.0 2018-06-15 BENCH NAME= XCSP18/Tal/Tal-05_c18.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-4289307-1532192902/watcher-4289307-1532192902 -o /tmp/evaluation-result-4289307-1532192902/solver-4289307-1532192902 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532190500-25137 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 823653071 HOME/instance-4289307-1532192902.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0bfba4554f8c52d47ef9f831901bb64c RANDOM SEED=823653071 node139.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.80 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.80 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.80 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.80 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: 18342428 kB MemAvailable: 31644724 kB Buffers: 117296 kB Cached: 13242092 kB SwapCached: 0 kB Active: 1376284 kB Inactive: 12331276 kB Active(anon): 304096 kB Inactive(anon): 64068 kB Active(file): 1072188 kB Inactive(file): 12267208 kB Unevictable: 7304 kB Mlocked: 7304 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 9424 kB Writeback: 0 kB AnonPages: 355304 kB Mapped: 36420 kB Shmem: 17036 kB Slab: 417764 kB SReclaimable: 391360 kB SUnreclaim: 26404 kB KernelStack: 3360 kB PageTables: 5304 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 640200 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 296960 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 45908 MiB End job on node139 at 2018-07-21 19:08:41